equality-commutativity (math concept)
See also
python declaration class | python inclusion class | python sample
Definition
equality-commutativity is the well-known and valid inference-rule:
\[\left( x = y \right) \vdash \left( y = x \right)\]
Where:
\(x = y\) is a formula-statement of the form \(x = y\)