no goals
ι : Sort ?u.125448
V : Type u
W : Type v
G : SimpleGraph V
G₁ G₂ : Subgraph G
a b : V
H₁ H₂ : Subgraph G
h : Disjoint H₁ H₂
⊢ SimpleGraph.Subgraph.edgeSet H₁ ⊓ SimpleGraph.Subgraph.edgeSet H₂ ≤ ⊥
simpa using edgeSet_mono h.le_bot