`FLT/Mathlib/Algebra/`

165 declarations, 0 contain sorry, 0 declared as axioms; 18 files

Folders

Algebra/ 5 files, 61 declarations
Category/ 2 files, 22 declarations
Central/ 1 files, 6 declarations
FixedPoints/ 1 files, 13 declarations
Group/ 1 files, 8 declarations
Homology/ 1 files, 1 declarations
Module/ 2 files, 3 declarations
Order/ 1 files, 13 declarations
Polynomial/ 2 files, 7 declarations

Files

IsDirectLimit.lean 20 declarations
IsQuaternionAlgebra.lean 11 declarations