Theorem SimpleGraph.comap_top

Modification history

2025-09-23 06:31
Mathlib/Combinatorics/SimpleGraph/Maps.lean
feat: the complete graph is connected iff nonempty (#29901) …
Added SimpleGraph.comap_topView on Github →