Jakob on Nostr: nprofile1q…9xuzd (Of course the definition of a local ring used in the definition ...
nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqjd874v63430gng67kpw5m597f34dr9vr0yhkp8dkmnma8208raysj9xuzd (nprofile…xuzd) (Of course the definition of a local ring used in the definition of Heyting fields is also »wrong« and includes the trivial ring.)