Theorem Finsupp.mem_supported_support

Modification history