Texonom
/
Logic
/
Formal Logic
/
Mathematical Logic
/
Corollary
Search
Corollary
Creator
Creator
Seonglae Cho
Created
Created
2023 Oct 10 6:13
Editor
Editor
Seonglae Cho
Edited
Edited
2023 Nov 2 7:18
Refs
Refs
따름정리
Corollaries are simple logical consequences from theorem
Recommendations
Texonom
/
Logic
/
Formal Logic
/
Mathematical Logic
/
Corollary