theorem :: FINANCE5:23

Family_of_halflines c= Ext_Borel_Sets