Theorem SimpleGraph.Walk.coe_support_append

Modification history