Theorem Finset.sups_inter_subset_left

Modification history