Theorem uliftZMultiplesHom_apply_add

Modification history

2026-05-11 16:00

Mathlib/Algebra/Category/Grp/ForgetCorepresentable.lean

feat(SheafCohomology): add API for Sheaf Cohomology (#34742) …

Added uliftZMultiplesHom_apply_add View on Github →