Def LinearEquiv.piCongrLeft'

Modification history