Theorem Finset.infs_subset_right

Modification history