`MIL/C02_Basics/`

144 declarations, 45 contain sorry, 0 declared as axioms; 10 files

Folders

solutions/ 5 files, 52 declarations

Files

S01_Calculating.lean 22 declarations
S02_Proving_Identities_in_Algebraic_Structures.lean 25 declarations
S03_Using_Theorems_and_Lemmas.lean 19 declarations
S04_More_on_Order_and_Divisibility.lean 13 declarations
S05_Proving_Facts_about_Algebraic_Structures.lean 13 declarations