Theorem CategoryTheory.MonoidalFunctor.mapAction_μ_inv_hom

Modification history