exact (consistent_iff_isEmpty.mp A).false this
F : Type u_1
inst✝³ : LogicalConnective F
inst✝² : Gentzen F
inst✝¹ : Cut F
Γ Δ E : List F
S : Type u_2
inst✝ : Collection F S
𝓣 : S
p : F
bp : 𝓣 ⊢ p
br : 𝓣 ⊢ ~p
A : System.Consistent 𝓣
this : 𝓣 ⊢' []
⊢ False
no goals