Theorem IsSMulRegular.rTensor

Modification history