Theorem SimpleGraph.Walk.support_rotate

Modification history