Theorem Finset.insert_subset

Modification history