Theorem Finsupp.onFinset_apply

Modification history