-
@ Jon Sterling
2025-02-22 08:26:46nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqrsm6msvm483et9mewz5vu0anftz9s9ng2uwgeq009mrhq9p0p69stfwksm What I love about Halmos is he really takes the time to explain what some definition is for, and gives gentle examples that help you see it "doing the thing that it is for".