Theorem Equiv.optionCongr_symm

Modification history