Theorem FiniteDimensional.finrank_finsupp_self

Modification history