Theorem LinearEquiv.rank_eq

Modification history