Theorem TopModuleCat.hom_smul

Modification history