2013年4月22日月曜日

合成律:自然演繹NKにおける証明

【27】合成律 の証明を新規作成、アップロード。