intro b
f : Bool → Bool → Bool
f_stable : f false false = false
n : Nat
hft : f false true = false
⊢ ∀ (b : Bool), f false b = false
f : Bool → Bool → Bool
f_stable : f false false = false
n : Nat
hft : f false true = false
b : Bool
⊢ f false b = false