Theorem Finset.map_subtype_subset

Modification history