What is a relation? In a typical undergraduate mathematics course, a relation on a set is defined to be a subset of , the cartesian product of with itself. In the Lean approach, a relation on a type α is a function of type α → α → Prop. That is, a function that takes two terms x and […]

## Relations in Lean

- Post author By Gihan Marasingha
- Post date
- Categories In Fundamental concepts
- 2 Comments on Relations in Lean