leanprover / leanprover.github.io

www
https://lean-lang.org/
15 stars 24 forks source link

one more equivalent formulation of heterogeneous equality (ptdeq) #46

Closed dselsam closed 7 years ago