Theorem SimpleGraph.mem_center_iff

Modification history

2025-06-12 10:35
Mathlib/Combinatorics/SimpleGraph/Diam.lean
chore(Data/Set/Basic): deprecate lemmas that abuse the `Set α := α → Prop` defeq (#25669)
Modified SimpleGraph.mem_center_iffView on Github →
2025-04-19 03:18
Mathlib/Combinatorics/SimpleGraph/Diam.lean
feat(SimpleGraph): eccentricity, radius, and center (#23932) …
Added SimpleGraph.mem_center_iffView on Github →