Theorem FiniteDimensional.finrank_zero_iff

Modification history