#### Intermediate theorem

If theorem is too complicated, we decompose in several pieces of Lemma (intermediate steps to reach your main theorem)

Creator

Creator

Seonglae ChoCreated

Created

2023 May 25 2:20Editor

Editor

Seonglae ChoEdited

Edited

2023 Nov 2 7:17Refs

Refs

Theorem If theorem is too complicated, we decompose in several pieces of Lemma (intermediate steps to reach your main theorem)