Theorem ModuleCat.FreeMonoidal.εIso_hom_one

Modification history