Theorem Finsupp.single_mem_supported

Modification history