연역정리,deduction_theorem Copy: 연역정리,deduction_theorem has comma Hide Show Revision History Ver.DateChangesEditorCompare View 1.12024-03-01 21:25:20user6 view source {CREATE}