Def Localization.mkHom

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.mkHomView on Github →