Minimally Inductive Class under Slowly Progressing Mapping is Nest/Proof 2

Proof
By definition, a slowly progressing mapping is indeed a progressing mapping.

The result then follows from Minimally Inductive Class under Progressing Mapping induces Nest.