theorem :: TOPGEN_3:33

weight Sorgenfrey-line = continuum