Theorem Finset.ssubset_of_ssubset_of_subset

Modification history