Def LinearEquiv.piCongrLeft

Modification history