Theorem Finset.eraseNone_insert_none

Modification history