Theorem FiniteDimensional.finrank_prod

Modification history