Theorem SimpleGraph.Walk.getVert_eq_support_getElem?

Modification history