Theorem LinearEquiv.isFiniteLength

Modification history