Theorem Finsupp.cons_support

Modification history