Theorem LinearEquiv.isWeaklyRegular_congr'

Modification history