Theorem Finsupp.sigma_support

Modification history