Fixed-point lemma for normal functions (Q5456327)
Jump to navigation
Jump to search
mathematical result on ordinals
Language | Label | Description | Also known as |
---|---|---|---|
English | Fixed-point lemma for normal functions |
mathematical result on ordinals |
Statements
0 references