Theorem IsSMulRegular.lTensor

Modification history