Theorem Finsupp.subtypeDomain_sub

Modification history