Theorem Equiv.piCongrLeft_sumInl

Modification history