ParentFull threadmikebike·Does "Nicolas Bourbaki" count?https://en.wikipedia.org/wiki/Nicolas_BourbakiView on HN