Theorem SimpleGraph.edge_comm

Modification history

2025-02-03 07:17

Mathlib/Combinatorics/SimpleGraph/Operations.lean

feat(SimpleGraph/Operations): add edge_comm and lt_sup_edge (#21261)

Added SimpleGraph.edge_comm View on Github →