The product of two ordinals is hereditarily dually discrete

From MaRDI portal
Publication:649833