Theorem nonempty_linearEquiv_of_rank_eq

Modification history