relations in lean: typo. Fixes #40.
relations in lean: typo. Fixes #40.

rlewis1988/logic_and_proof,leanprover/logic_and_proof,avigad/logic_and_proof,avigad/logic_and_proof,rlewis1988/logic_and_proof,leanprover/logic_and_proof,rlewis1988/logic_and_proof,avigad/logic_and_proof,leanprover/logic_and_proof