Proofgold Proposition

∀ x0 . nIn x0 0

type
prop

theory
HF

name
-

proof
PUh9N..

Megalodon
nIn_Empty

proofgold address
TMTnm..^nIn_Empty

creator
1168 PrGxv../794a1..

owner
1168 PrGxv../794a1..

term root
17472..