Revision history of "Substitution assignment (FOL)"

From Maths
Jump to: navigation, search

Diff selection: Mark the radio boxes of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

  • (cur | prev) 07:18, 10 September 2016Alec (Talk | contribs). . (711 bytes) (+711). . (Created page with "{{Stub page|grade=A|msg=This page was created just to document it quickly, it needs fleshing out}} __TOC__ ==Definition== Given an {{link|assignment|FOL}}, {{M|\sigma:V\righta...")