Theorem CategoryTheory.Functor.Monoidal.toUnit_ε

Modification history