Proofgold Proposition

∀ x0 x1 . x1 = ap (pack_e x0 x1) 1

type
prop

theory
HotG

name
pack_e_1_eq2

proof
PUSob..

Megalodon
pack_e_1_eq2

proofgold address
TMHqT..^pack_e_1_eq2

creator
4904 Pr6Pc../820b7..

owner
4904 Pr6Pc../820b7..

term root
9fdf3..