Theorem Finsupp.total_apply_of_mem_supported

Modification history