Theorem Equiv.removeNone_aux_none

Modification history