数学

リンク

記号の説明: http://us.metamath.org/mpeuni/mmtheorems.html