Theorem LinearEquiv.isRegular_congr'

Modification history