Jean Abou Samra (new account) on Nostr: nprofile1q…fw8t5 nprofile1q…4rrqe nprofile1q…eyqfl Ironically, the first nLab ...
nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyry2ysn5av9pr8m76kgpggcflz294t0pr9shd99kh8redys7ku0xkefw8t5 (nprofile…w8t5) nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyzf5l64n2xk9azdrt6c96nwshexx45v4sduj7cyakmw005afuu05jm4rrqe (nprofile…rrqe) nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyr2n36a7k44xnepjzejv2c77yrnxdxp5n025wgnd4884ncm8ep8wqaeyqfl (nprofile…yqfl) Ironically, the first nLab page I looked up something on after this discussion contained total nonsense. (https://ncatlab.org/nlab/revision/diff/Archimedean+ordered+field/33)