Mathlib Changelog
v4
Changelog
About
Github
Theorem
SimpleGraph.Adj.degree_pos_right
Modification history
2026-01-24 00:25
Mathlib/Combinatorics/SimpleGraph/Finite.lean
refactor(SimpleGraph/Finite): turn `edgeFinset` into a `def` (#28821) …
Added
SimpleGraph.Adj.degree_pos_right
View on Github →