Theorem isSMulRegular_algebraMap_iff

Modification history