>>699
グロタンが単独で書いた論文や本を見ると、いわゆるブルバキ的な
「定義・命題・証明」の「自明」とも見える羅列スタイルは少ないような。