Theorem FiniteDimensional.nonempty_linearEquiv_iff_finrank_eq

Modification history