Theorem Finset.subtype_map

Modification history