Theorem CategoryTheory.Functor.Monoidal.δ_fst

Modification history