Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-02-03 07:17
9d5ba204
View on Github →
feat(SimpleGraph/Operations): add edge_comm and lt_sup_edge (
#21261
)
Estimated changes
Modified
Mathlib/Combinatorics/SimpleGraph/Operations.lean
added
theorem
SimpleGraph.edge_comm
added
theorem
SimpleGraph.lt_sup_edge