Theorem CategoryTheory.Oplax.Modification.whiskerLeft_naturality

Modification history

2024-10-26 22:53
Mathlib/CategoryTheory/Bicategory/Modification/Oplax.lean
chore(Bicategory): restructure oplax modifications (#18250) …
Added CategoryTheory.Oplax.Modification.whiskerLeft_naturalityView on Github →