Proofgold Proposition

∀ x0 . x0 ∈ setminus u17 u12 ⟶ ∀ x1 : ι → ο . x1 u12 ⟶ x1 u13 ⟶ x1 u14 ⟶ x1 u15 ⟶ x1 u16 ⟶ x1 x0

type
prop

theory
HotG

name
-

proof
PUdwf..

Megalodon
-

proofgold address
TMSjU..

creator
31380 Pr4zB../f3eb5..

owner
31380 Pr4zB../f3eb5..

term root
d2eb1..