Theorem IsSMulRegular.isSMulRegular_algebraMap_iff

Modification history