Theorem Function.piCongrLeft'_symm_update

Modification history