Theorem Equiv.removeNone_optionCongr

Modification history