Theorem rank_le_of_isSMulRegular

Modification history