Theorem CategoryTheory.Functor.OplaxMonoidal.δ_fst

Modification history