Theorem FiniteDimensional.finrank_finsupp

Modification history