Category:Minimally Inductive Class under Slowly Progressing Mapping is Nest

From ProofWiki
Jump to navigation Jump to search

This category contains pages concerning Minimally Inductive Class under Slowly Progressing Mapping is Nest:


Let $M$ be a class.

Let $g: M \to M$ be a slowly progressing mapping on $M$.

Let $M$ be a minimally inductive class under $g$.


Then $M$ is a nest.

Pages in category "Minimally Inductive Class under Slowly Progressing Mapping is Nest"

The following 2 pages are in this category, out of 2 total.