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.
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 WellOrdered Class is WellOrdered 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 wellordered under $\RR$. Let $B$ be a nonempty class subclass of $A$. Then $B$ is also wellordered 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 $..." 