Theorem FiniteDimensional.finrank_mul_finrank'

Modification history