Mathlib Changelog
v4
Changelog
About
Github
Structure
CategoryTheory.OplaxTrans.StrongCore
Modification history
2025-05-12 14:24
Mathlib/CategoryTheory/Bicategory/NaturalTransformation/Strong.lean
feat(Bicategory/NaturalTransformation): strong transformations between pseudofunctors (#18253) …
Deleted
CategoryTheory.OplaxTrans.StrongCore
View on Github →
2025-04-25 04:02
Mathlib/CategoryTheory/Bicategory/NaturalTransformation/Strong.lean
feat(Bicategory/Oplax): Fix simp lemmas and renaming (#18252) …
Added
CategoryTheory.OplaxTrans.StrongCore
View on Github →