# Related changes

Enter a page name to see changes on pages linked to or from that page. (To see members of a category, enter Category:Name of category). Changes to pages on your Watchlist are in bold.

Recent changes options Show last 50 | 100 | 250 | 500 changes in last 1 | 3 | 7 | 14 | 30 days
Hide registered users | Hide anonymous users | Hide my edits | Show bots | Hide minor edits
Show new changes starting from 01:16, 22 May 2022
 Namespace: all (Main) Talk User User talk ProofWiki ProofWiki talk File File talk MediaWiki MediaWiki talk Template Template talk Help Help talk Category Category talk Axiom Axiom talk Definition Definition talk Symbols Symbols talk Mathematician Mathematician talk Book Book talk Module Module talk  Invert selection  Associated namespace Tag filter: Page name: Show changes to pages linked to the given page instead
List of abbreviations:
N
This edit created a new page (also see list of new pages)
m
This is a minor edit
b
This edit was performed by a bot
(±123)
The page size changed by this number of bytes

#### 21 May 2022

 N    14:12 Subclass of Well-Ordered Class is Well-Ordered‎‎ 8 changes history +1,835‎ [Prime.mover‎ (8×)] 14:12 (cur | prev) −4‎ Prime.mover 13:47 (cur | prev) +100‎ Prime.mover 13:17 (cur | prev) +192‎ Prime.mover m 13:14 (cur | prev) −47‎ Prime.mover m 13:10 (cur | prev) −23‎ Prime.mover Tag: Manual revert 11:52 (cur | prev) +23‎ Prime.mover Tag: Reverted m 09:30 (cur | prev) −10‎ Prime.mover N 09:29 (cur | prev) +1,604‎ Prime.mover Created page with "== Theorem == Let $V$ be a basic universe. Let $\RR \subseteq V \times V$ be a relation. Let $A$ be a subclass of $V$ which is well-ordered under $\RR$. Let $B$ be a non-empty class subclass of $A$. Then $B$ is also well-ordered under $\RR$. == Proof..."
 N    09:10 diffhist +582‎ Prime.mover Created page with "== Theorem == Let $A$, $B$ and $C$ be classes. Let $A$ be a subclass of $B$. Let $B$ be a subclass of $C$. Then $A$ is a subclass of $C$. == Proof == Let $x \in A$ be arbitrary. It follows by definition of subclass that $x \in B$. It further follows by definition of subclass that $x \in C$. So we have that \$..."