Proofgold Proposition

∀ x0 . (∀ x1 . nIn x1 x0) ⟶ x0 = 0

type
prop

theory
HF

name
-

proof
PUh9N..

Megalodon
Empty_eq

proofgold address
TMWtj..^Empty_eq

creator
1168 PrGxv../b506b..

owner
1168 PrGxv../b506b..

term root
fe7ff..