Theorem CategoryTheory.Functor.Monoidal.lift_μ

Modification history