Proofgold Proposition

∀ x0 . ∀ x1 : ι → ο . x1 x0 ⟶ d97e3.. (1ce4f.. x0) x1

type
prop

theory
HF

name
-

proof
PUXbj..

Megalodon
In_1_I

proofgold address
TMGvi..^In_1_I

creator
1478 PrGxv../ef262..

owner
1478 PrGxv../ef262..

term root
a39b6..