Proofgold Proposition

∀ x0 x1 x2 x3 . pack_e x0 x2 = pack_e x1 x3 ⟶ and (x0 = x1) (x2 = x3)

type
prop

theory
HotG

name
pack_e_inj

proof
PUSob..

Megalodon
pack_e_inj

proofgold address
TMXLa..^pack_e_inj

creator
4904 Pr6Pc../13c59..

owner
4904 Pr6Pc../13c59..

term root
df5ad..