pairwise T_1 in the sense of Swart をテンプレートにして作成

開始行:


終了行: