Theorem CategoryTheory.Oplax.Modification.whiskerLeft_naturality

Modification history