constructor
hucnt : ¬Set.Countable ({0, 1} ×ˢ Set.univ)
⊢ Uncountable ({0, 1} ×ˢ Set.univ)
case left
hucnt : ¬Set.Countable ({0, 1} ×ˢ Set.univ)
⊢ ¬Set.Countable ({0, 1} ×ˢ Set.univ)

case right
hucnt : ¬Set.Countable ({0, 1} ×ˢ Set.univ)
⊢ Set.Infinite ({0, 1} ×ˢ Set.univ)