Intermediate theorem
If theorem is too complicated, we decompose in several pieces of Lemma (intermediate steps to reach your main theorem)
Lemma
Creator
Creator
Seonglae ChoCreated
Created
2023 May 25 2:20Editor
Editor
Seonglae ChoEdited
Edited
2023 Nov 2 7:17Refs
Refs
Theorem