Revision as of 01:24, 30 March 2022 (view source) Chemoelectric (talk \| contribs) (→‎An unusual use of ATS) ← Older edit		Revision as of 01:29, 30 March 2022 (view source) Chemoelectric (talk \| contribs) m (→‎An unusual use of ATS) Newer edit →
Line 324: (addition_relation {i + j, k} (), addition_relation {i, j + k} ()) (* 3.3 Prove addition is commutative. *)

Proof: Difference between revisions

Proof (view source)