Theorem Localization.mkHom_surjective

Modification history

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