Theorem Monoid.fg_of_finite

Modification history

2025-07-31 17:11
Mathlib/GroupTheory/Finiteness.lean
chore: scope or remove some instances (#27592) …
Added Monoid.fg_of_finiteView on Github →