Mathlib Changelog
v4
Changelog
About
Github
Theorem
CategoryTheory.Oplax.Modification.comp_app'
Modification history
2025-05-12 14:24
Mathlib/CategoryTheory/Bicategory/Modification/Oplax.lean
feat(Bicategory/NaturalTransformation): strong transformations between pseudofunctors (#18253) …
Deleted
CategoryTheory.Oplax.Modification.comp_app'
View on Github →
2024-10-26 22:53
Mathlib/CategoryTheory/Bicategory/Modification/Oplax.lean
chore(Bicategory): restructure oplax modifications (#18250) …
Added
CategoryTheory.Oplax.Modification.comp_app'
View on Github →