Proofgold Proposition

∀ x0 : ι → ι . (∀ x1 . nat_p (x0 x1)) ⟶ ∀ x1 . nat_p x1 ⟶ ∀ x2 : ο . (x1 = 0 ⟶ x2) ⟶ (∀ x3 . In x3 x1 ⟶ (∀ x4 . In x4 x1 ⟶ Subq (x0 x4) (x0 x3)) ⟶ x2) ⟶ x2

type
prop

theory
HF

name
-

proof
PUbQq..

Megalodon
-

proofgold address
TMb8d..

creator
3149 PrGxv../e6737..

owner
3149 PrGxv../e6737..

term root
5eb8f..