Zulip Chat Archive

Stream: new members

Topic: Not Equal To


view this post on Zulip Dev-Indra (Mar 22 2020 at 17:39):

Are there any theorems regarding not equals to in Lean, and if so what are some (with short description). Also what is the definition of not equal to in Lean?

view this post on Zulip Bryan Gin-ge Chen (Mar 22 2020 at 17:47):

See init.logic starting here. The theorems there are simple enough that you should be able to figure them out from the types themselves, but if you're confused, feel free to ask.

view this post on Zulip Dev-Indra (Mar 22 2020 at 17:59):

(deleted)

view this post on Zulip Dev-Indra (Mar 22 2020 at 18:07):

Thanks


Last updated: May 13 2021 at 18:26 UTC