Proofgold Proposition

∀ x0 x1 . x1 ∈ x0 ⟶ atleastp u1 x0

type
prop

theory
HotG

name
-

proof
PUXoM..

Megalodon
-

proofgold address
TMPWw..

creator
19851 Pr4zB../dbac2..

owner
19851 Pr4zB../dbac2..

term root
12ee6..