ダウンロード

A Machine proof of the proposition "Ideal $\subseteq \bigcup_i