Stream: new members
Topic: Not Equal To
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?
Bryan Gin-ge Chen (Mar 22 2020 at 17:47):
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.
Dev-Indra (Mar 22 2020 at 17:59):
Dev-Indra (Mar 22 2020 at 18:07):
Last updated: May 13 2021 at 18:26 UTC