Theorem LinearEquiv.nonempty_equiv_iff_rank_eq

Modification history