Theorem Finset.insert_subset_insert

Modification history