Category "theorem-proving"

Proving A → ¬ (¬ A ∧ B) in Lean

I am having a hard time proving A → ¬ (¬ A ∧ B) with the Lean theorem prover. I set it up like this: example : A → ¬ (¬ A ∧ B)