`FLT/Mathlib/GroupTheory/`

45 declarations, 0 contain sorry, 0 declared as axioms; 4 files

Folders

GroupAction/ 1 files, 2 declarations
SpecificGroups/ 1 files, 1 declarations

Files

DoubleCoset.lean 40 declarations
Index.lean 2 declarations