Proofgold Proposition

∀ x0 x1 . (∀ x2 . x2 ∈ x0 ⟶ nIn x2 x1) ⟶ atleastp 6 (binunion x0 x1) ⟶ atleastp x0 1 ⟶ atleastp x1 (prim4 2) ⟶ False

type
prop

theory
HotG

name
-

proof
PUNUU..

Megalodon
-

proofgold address
TMZE3..

creator
14937 Pr4zB../c353c..

owner
14937 Pr4zB../c353c..

term root
7f444..