Theorem Equiv.removeNone_symm

Modification history