Def CategoryTheory.Oplax.OplaxTrans.ModificationIso.ofComponents

Modification history

2025-05-12 14:24
Mathlib/CategoryTheory/Bicategory/Modification/Oplax.lean
feat(Bicategory/NaturalTransformation): strong transformations between pseudofunctors (#18253) …
Added CategoryTheory.Oplax.OplaxTrans.ModificationIso.ofComponentsView on Github →