Proofgold Proposition

∀ x0 x1 . d97e3.. (1ce4f.. x0) (1ce4f.. x1) ⟶ In x0 x1

type
prop

theory
HF

name
-

proof
PUXbj..

Megalodon
In_1_down

proofgold address
TMRj3..^In_1_down

creator
1478 PrGxv../5e43f..

owner
1478 PrGxv../5e43f..

term root
90d38..