Theorem LinearEquiv.length_eq

Modification history