Theorem CategoryTheory.Functor.OplaxMonoidal.Monoidal.toUnit_ε

Modification history