Theorem ModuleCat.hom_nsmul

Modification history