Theorem Finset.empty_subset

Modification history