Proofgold Proposition

ChurchNum_p (λ x0 : ι → ι . x0)

type
prop

theory
HotG

name
-

proof
PUSRF..

Megalodon
-

proofgold address
TMa7Q..

creator
18726 Pr4zB../f1757..

owner
18726 Pr4zB../f1757..

term root
9492e..