Theorem Finsupp.subtypeDomain_apply

Modification history