Theorem Equiv.removeNone_aux_inv

Modification history