Theorem LinearEquiv.isSMulRegular_congr

Modification history