Theorem CategoryTheory.Functor.Monoidal.μ_fst

Modification history