Theorem Equiv.prodCongrRight_apply

Modification history