Theorem CategoryTheory.Limits.isIsoZero_iff_source_target_isZero

Modification history

2025-11-04 15:34
Mathlib/CategoryTheory/Limits/Shapes/ZeroMorphisms.lean
feat(RepresentationTheory/FinGroupCharZero): applications of Maschke's theorem (#27429) …
Added CategoryTheory.Limits.isIsoZero_iff_source_target_isZeroView on Github →