## 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):

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.

(deleted)

#### Dev-Indra (Mar 22 2020 at 18:07):

Thanks

Last updated: May 13 2021 at 18:26 UTC