Theorem Finset.map_inl_subset_iff_subset_toLeft

Modification history