Theorem SimpleGraph.card_set_walk_length_eq

Modification history