Theorem Localization.fg

Modification history

2025-05-14 15:37
Mathlib/GroupTheory/MonoidLocalization/Finite.lean
feat: the Grothendieck group of a fg monoid is fg (#24896) …
Added Localization.fgView on Github →