Theorem Equiv.optionCongr_swap

Modification history