Theorem Finset.infs_inter_subset_left

Modification history