Theorem Dfinsupp.subtypeDomain_smul

Modification history