Theorem Finset.infs_inter_subset_right

Modification history