Theorem FiniteDimensional.finrank_tensorProduct

Modification history