Theorem Finset.not_subset

Modification history