Def SimpleGraph.induceUnivIso

Modification history