Proofgold Proposition

∀ x0 x1 x2 x3 . atleastp x0 x2 ⟶ atleastp x1 x3 ⟶ (∀ x4 . x4 ∈ x2 ⟶ nIn x4 x3) ⟶ atleastp (setsum x0 x1) (binunion x2 x3)

type
prop

theory
HotG

name
-

proof
PUac6..

Megalodon
-

proofgold address
TMSUo..

creator
22005 Pr4zB../cdf98..

owner
22005 Pr4zB../cdf98..

term root
f59d6..