しかしブルバキの「第二版」ねえ、
ブルバキなんてもうその役目を終えたとばっか思ってたけど