Mathlib Changelog
v4
Changelog
About
Github
Def
CategoryTheory.CostructuredArrow.ofDiagEquivalence'
Modification history
2024-12-09 19:23
Mathlib/CategoryTheory/Comma/Over.lean
perf: mark some definitions as non-computable (#19740) …
Deleted
CategoryTheory.CostructuredArrow.ofDiagEquivalence'
View on Github →
2024-09-03 13:17
Mathlib/CategoryTheory/Comma/Over.lean
feat(CategoryTheory): Characterization of Structured Arrows of Diagonal and Projections (#15838)
Added
CategoryTheory.CostructuredArrow.ofDiagEquivalence'
View on Github →