Theorem SimpleGraph.card_neighborFinset_eq_degree

Modification history