principal-of-sortition
PDF
TeX (SJIS:windows)
TeX (EUC:unix)
second-proof.tex
Last Update : Fri Oct 17 14:51:06 JST 2014