Proofgold Proposition

∀ x0 : ι → ο . 707bb.. x0 (56103.. (λ x1 . x1))

type
prop

theory
HOAS

name
-

proof
PURWg..

Megalodon
-

proofgold address
TMQVL..

creator
1839 PrGxv../c40b1..

owner
1839 PrGxv../c40b1..

term root
1f3a0..