Theorem Equiv.removeNone_none

Modification history