Theorem Finsupp.restrictDom_comp_subtype

Modification history