Archived tweet #12195 from the @leastfixedpoint Twitter Archive

Friendship ended with LEIBNIZ EQUALITY 🤢🤮😭 Now SETOID is my best friend 🤩🥰😍 (I wish I could have figured out how to use this for the proofs in my dissertation. Tip for grad students: look up "Add Relation", "Add Morphism". Huge, huge win.)