Proofgold Proposition

∀ x0 x1 . Inj0 x0 = Inj1 x1 ⟶ ∀ x2 : ο . x2

type
prop

theory
HotG

name
Inj0_Inj1_neq

proof
PUMB7..

Megalodon
Inj0_Inj1_neq

proofgold address
TMNgq..^{Inj0_Inj1_neq}

creator
4898 Pr6Pc../b19bd..

owner
4898 Pr6Pc../b19bd..

term root
21bb0..