Theorem Equiv.removeNone_aux_some

Modification history