Theorem SimpleGraph.lt_sup_edge

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.lt_sup_edge View on Github →