Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-01-08 12:15
af8eed89
View on Github →
chore(CategoryTheory): remove data produced by tactic block (
#20565
)
Estimated changes
Modified
Mathlib/CategoryTheory/EffectiveEpi/Coproduct.lean
deleted
def
CategoryTheory.effectiveEpiStructDescOfEffectiveEpiFamily