Theorem SimpleGraph.Path.loop_eq

Modification history