Theorem Equiv.optionCongr_trans

Modification history