Theorem Finset.one_subset

Modification history