Theorem SimpleGraph.card_incidenceFinset_eq_degree

Modification history