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

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