Category:G-Tower is Nest

From ProofWiki
Jump to navigation Jump to search

This category contains pages concerning G-Tower is Nest:


Let $M$ be a class.

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

Let $M$ be a $g$-tower.


Then $M$ is a nest.

Pages in category "G-Tower is Nest"

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