Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Alexander van der Vekens
General auxiliary theorems (2)
Upper sets of integers - extension

Next ⟩ eluzge0nn0

Metamath Proof Explorer

Ascii
Unicode

Table of Contents - 21.47.6.14. Upper sets of integers - extension

eluzge0nn0