Jean Abou Samra (new account) on Nostr: nprofile1q…fw8t5 A mathematician I know will die on the hill that because the ...

nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyry2ysn5av9pr8m76kgpggcflz294t0pr9shd99kh8redys7ku0xkefw8t5 (nprofile…w8t5) A mathematician I know will die on the hill that because the equality in univalent foundations doesn't have the expected properties, it doesn't deserve to be called equality. Which I'm sure you would disagree with 🙂