Proofgold Proposition

∀ x0 : ι → ο . exu_i x0 ⟶ ∀ x1 x2 . x0 x1 ⟶ x0 x2 ⟶ x1 = x2

type
prop

theory
HF

name
-

proof
PUXHR..

Megalodon
exu_i_E2

proofgold address
TMVWH..^exu_i_E2

creator
2279 PrGxv../c103f..

owner
2279 PrGxv../c103f..

term root
e29ce..