Theorem CategoryTheory.Functor.Monoidal.δ_snd

Modification history