Theorem FiniteDimensional.finrank_directSum

Modification history