Theorem Finset.map_inr_subset_iff_subset_toRight

Modification history