Theorem Finset.infs_subset

Modification history