Theorem FiniteDimensional.finrank_pos_iff

Modification history