Theorem SimpleGraph.Walk.IsEulerian.card_filter_odd_degree

Modification history