Theorem LinearEquiv.isSMulRegular_congr'

Modification history