Proofgold Proposition

∀ x0 x1 : ι → ο . d97e3.. x0 x1 ⟶ 3a6d0.. (407b5.. x0) (407b5.. x1)

type
prop

theory
HF

name
-

proof
PUXbj..

Megalodon
In_2_up

proofgold address
TMFFB..^In_2_up

creator
1478 PrGxv../b7277..

owner
1478 PrGxv../b7277..

term root
5e368..