Theorem CategoryTheory.LaxMonoidalFunctor.μ_natural_left'

Modification history