Theorem SimpleGraph.exists_girth_eq_length

Modification history