Def Equiv.piCongrLeft'

Modification history