Theorem CategoryTheory.LaxMonoidalFunctor.μ_natural_right'

Modification history