The Overloaded Equals Sign(mbernste.github.io)
mbernste.github.io
The Overloaded Equals Sign
https://mbernste.github.io/posts/equality_definition/
1 comments
How old is this? Mathematicians have been using Pascal assign for definitions for 20-25 years? (A bad move in my book, but that's another matter.)