Theorem CategoryTheory.Oplax.Modification.whiskerRight_naturality

Modification history