Theorem FiniteDimensional.nonempty_continuousLinearEquiv_iff_finrank_eq

Modification history