Not the keyword you're looking for? See all keywords.
The same three theorems from the Python prover, now in Lean 4.
