Proofgold Proposition

∀ x0 . infinite x0 ⟶ ∀ x1 . infinite (setminus x0 (Sing x1))

type
prop

theory
HotG

name
infinite_remove1

proof
PUgHR..

Megalodon
infinite_remove1

proofgold address
TMErx..^{infinite_remove1}

creator
29749 PrQUS../603ea..

owner
29749 PrQUS../603ea..

term root
f236a..