FormalConjecturesForMathlib/Algebra/Group/
16 declarations, 0 contain sorry, 0 declared as axioms; 3 files
Folders
- Action/ 1 files, 1 declarations
Files
- GrowthFunction.lean 14 declarations
- Indicator.lean 1 declarations