osj1961/giam Issues
principle/principal
UpdatedReordering proof1 sections
UpdatedCompile
Closed 3idempotents
Closed 1labels for chapters / sections
Closed 1Comments from David Farmer
Closed 1No solutions after ch. 5.2
Updated 1biconditionals
Updateddef. of implication
Updateddiscussion of axioms
Updatedcontrapositive suggestion
Updatedmissing subscript
Closed 1