Theorem SimpleGraph.degree_lt_card_verts

Modification history

2026-04-29 01:17

Mathlib/Combinatorics/SimpleGraph/Finite.lean

chore(Combinatorics/SimpleGraph/Finite): golf (#38624)

Modified SimpleGraph.degree_lt_card_verts View on Github →

2024-02-03 03:33

Mathlib/Combinatorics/SimpleGraph/Basic.lean

refactor: split out finiteness properties for simple graphs (#10123)

Modified SimpleGraph.degree_lt_card_verts View on Github →

2023-02-24 18:27

Mathlib/Combinatorics/SimpleGraph/Basic.lean

feat: Port `Combinatorics.SimpleGraph.Basic` (#1883)

Added SimpleGraph.degree_lt_card_verts View on Github →