`FLT/Patching/`

320 declarations, 1 contain sorry, 0 declared as axioms; 14 files

Folders

Utils/ 7 files, 119 declarations

Files

Algebra.lean 46 declarations
Module.lean 65 declarations
Over.lean 12 declarations
REqualsT.lean 1 declarations
System.lean 19 declarations
Ultraproduct.lean 47 declarations
VanishingFilter.lean 11 declarations