Theorem Equiv.optionCongr_sign

Modification history