Def CategoryTheory.effectiveEpiStructDescOfEffectiveEpiFamily
Modification history
2025-01-08 12:15
Mathlib/CategoryTheory/EffectiveEpi/Coproduct.lean
chore(CategoryTheory): remove data produced by tactic block (#20565)
Deleted CategoryTheory.effectiveEpiStructDescOfEffectiveEpiFamilyView on Github →