Mathlib Changelog
v4
Changelog
About
Github
Theorem
CategoryTheory.balanced_opposite
Modification history
2025-02-24 22:30
Mathlib/CategoryTheory/Balanced.lean
feat(CategoryTheory): Define subobject classifier (#21281) …
Deleted
CategoryTheory.balanced_opposite
View on Github →
2023-02-16 08:49
Mathlib/CategoryTheory/Balanced.lean
feat: port CategoryTheory.Balanced (#2313)
Added
CategoryTheory.balanced_opposite
View on Github →