Theorem CategoryTheory.Functor.Monoidal.μ_snd

Modification history