Def CategoryTheory.Oplax.OplaxTrans.isoMk

Modification history

2025-11-28 10:31
Mathlib/CategoryTheory/Bicategory/Modification/Oplax.lean
feat(Bicategory/Modification/Pseudo): define modifications between strong natural transformations of pseudofunctors (#30895) …
Added CategoryTheory.Oplax.OplaxTrans.isoMkView on Github →