Theorem Finset.subset_map_inl

Modification history