Proofgold Proposition

∀ x0 x1 x2 . x0 = pack_e x1 x2 ⟶ x2 = ap x0 1

type
prop

theory
HotG

name
pack_e_1_eq

proof
PUSob..

Megalodon
pack_e_1_eq

proofgold address
TMdRW..^pack_e_1_eq

creator
4904 Pr6Pc../a4f4b..

owner
4904 Pr6Pc../a4f4b..

term root
04f7f..