Theorem Equiv.piCongrLeft_sumInr

Modification history