Theorem SimpleGraph.dart_card_eq_sum_degrees

Modification history