A conjunction is a pair

⟨hp, hq⟩ proves P ∧ Q.

8 minIntermediate

0/7 completed in this course

In this course 2 / 7

Go to exercise ↓

Your exercise

Loading the exercise…

Exercise.lean

Sign in to check

Loading editor…

Run a check to see the goals Lean has left.

ReadyLn 1, Col 1Lean 4

Draft saved in this browser