Theorem CategoryTheory.Monoidal.whiskerRight_app

Modification history