Linear equation in one variable

This English edition is an AI candidate and does not yet have an OCME Atlas (GPT-6) Twin closure receipt.

An equation over an explicit number system with one unknown and a nonzero linear coefficient.

atlas-linear-equation · canonical_mko

Prerequisite nodes