Theorem Group.FgIffMonoid.fg

Modification history

2023-02-18 21:13
Mathlib/GroupTheory/Finiteness.lean
chore: tidy various files (#2321)
Deleted Group.FgIffMonoid.fgView on Github →
2023-02-11 15:55
Mathlib/GroupTheory/Finiteness.lean
feat Port/GroupTheory.Finiteness (#2187)
Added Group.FgIffMonoid.fgView on Github →