Def DirectSum.equivCongrLeft

Modification history