Skip to content
Szpilrajn extension theorem · Vinony