Jon Sterling on Nostr: nprofile1q…g47dl Of course, you probably do encounter well-founded things with some ...

nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqlpv03u4n97y28cz0x69yp746p4ed9er23992cmg85pdx0dgxdcus7g47dl (nprofile…47dl) Of course, you probably do encounter well-founded things with some frequency in geometry, e.g. Noetherian assumptions, etc.