`MIL/C05_Elementary_Number_Theory/`

145 declarations, 21 contain sorry, 0 declared as axioms; 8 files

Folders

solutions/ 4 files, 43 declarations

Files

S01_Irrational_Roots.lean 19 declarations
S02_Induction_and_Recursion.lean 35 declarations
S03_Infinitely_Many_Primes.lean 27 declarations
S04_More_Induction.lean 21 declarations