Proofgold Proposition

∀ x0 x1 : ι → ο . (∀ x2 . x0 x2 ⟶ x1 x2) ⟶ (∀ x2 . x1 x2 ⟶ x0 x2) ⟶ x0 = x1

type
prop

theory
HotG

name
pred_ext_2

proof
PUL8Q..

Megalodon
pred_ext_2

proofgold address
TMW8b..^pred_ext_2

creator
4882 Pr6Pc../ca5e4..

owner
4882 Pr6Pc../ca5e4..

term root
c558f..