Theorem Finsupp.total_option

Modification history