Theorem Finsupp.coe_onFinset

Modification history