Theorem CategoryTheory.Functor.OplaxMonoidal.Monoidal.μ_fst

Modification history