Proofgold Proposition

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

type
prop

theory
HotG

name
binunion_finite

proof
PUMXD..

Megalodon
binunion_finite

proofgold address
TMYBt..^{binunion_finite}

creator
12443 PrGxv../3db4b..

owner
12443 PrGxv../3db4b..

term root
fc26b..