Theorem Equiv.piComm_symm

Modification history