Theorem CategoryTheory.Pseudofunctor.StrongTrans.id.toOplax

Modification history

2025-05-12 14:24

Mathlib/CategoryTheory/Bicategory/NaturalTransformation/Pseudo.lean

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

Added CategoryTheory.Pseudofunctor.StrongTrans.id.toOplax View on Github →