Related changes

Jump to navigation Jump to search

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
   
Page name:
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 talk contribs
     
13:47 (cur | prev) +100 Prime.mover talk contribs
     
13:17 (cur | prev) +192 Prime.mover talk contribs
 m   
13:14 (cur | prev) −47 Prime.mover talk contribs
 m   
13:10 (cur | prev) −23 Prime.mover talk contribs Tag: Manual revert
     
11:52 (cur | prev) +23 Prime.mover talk contribs Tag: Reverted
 m   
09:30 (cur | prev) −10 Prime.mover talk contribs
N    
09:29 (cur | prev) +1,604 Prime.mover talk contribs 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  Subclass of Subclass is Subclass diffhist +582 Prime.mover talk contribs 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 $..."