`MIL/C07_Structures/`

187 declarations, 12 contain sorry, 0 declared as axioms; 6 files

Folders

solutions/ 3 files, 72 declarations

Files

S01_Structures.lean 32 declarations
S02_Algebraic_Structures.lean 30 declarations
S03_Building_the_Gaussian_Integers.lean 53 declarations