Theorem Finset.erase_injOn'

Modification history