Proofgold Proposition

omega = 0 ⟶ ∀ x0 : ο . x0

type
prop

theory
HotG

name
-

proof
PUZw1..

Megalodon
-

proofgold address
TMLEc..

creator
48789 PrMzh../17fa1..

owner
48789 PrMzh../17fa1..

term root
d64fa..