Theorem CategoryTheory.Oplax.OplaxTrans.Modification.comp_app'

Modification history

2025-11-05 18:48

Mathlib/CategoryTheory/Bicategory/Modification/Oplax.lean

chore(Bicategory/Functor): add notation for lax and oplax functors (#31238) …

Modified CategoryTheory.Oplax.OplaxTrans.Modification.comp_app'View on Github →

2025-05-12 14:24

Mathlib/CategoryTheory/Bicategory/Modification/Oplax.lean

feat(Bicategory/NaturalTransformation): strong transformations between pseudofunctors (#18253) …

Added CategoryTheory.Oplax.OplaxTrans.Modification.comp_app'View on Github →