Def AddCommGrpCat.uliftZMultiplesAddEquiv

Modification history

2026-05-11 16:00
Mathlib/Algebra/Category/Grp/ForgetCorepresentable.lean
feat(SheafCohomology): add API for Sheaf Cohomology (#34742) …
Added AddCommGrpCat.uliftZMultiplesAddEquivView on Github →