Theorem SimpleGraph.card_incidenceSet_eq_degree

Modification history