Theorem LinearEquiv.isWeaklyRegular_congr

Modification history