Theorem Finsupp.finite_support

Modification history