Theorem CategoryTheory.Functor.Monoidal.lift_δ

Modification history