dan on Nostr: now i have it generate mermaid in README from that map, look at it, and decide ...

now i have it generate mermaid in README from that map, look at it, and decide whether each edge and node are legible to a mathematician, whether any important nodes are missing, and whether some nodes are standard bookkeeping. it already discovered a bunch of dead claims and simplifications