Def SimpleGraph.induceHomOfLE

Modification history