Proofgold Proposition

∀ x0 x1 . finite x0 ⟶ finite (binunion x0 (Sing x1))

type
prop

theory
HotG

name
adjoin_finite

proof
PUMXD..

Megalodon
adjoin_finite

proofgold address
TMZgK..^{adjoin_finite}

creator
12443 PrGxv../5c7df..

owner
12443 PrGxv../5c7df..

term root
def31..