Theorem SimpleGraph.Walk.getVert_eq_support_getElem

Modification history