Proofgold Proposition

∀ x0 . struct_e x0 ⟶ x0 = pack_e (ap x0 0) (ap x0 1)

type
prop

theory
HotG

name
struct_e_eta

proof
PUSob..

Megalodon
struct_e_eta

proofgold address
TMbpm..^struct_e_eta

creator
4904 Pr6Pc../e7486..

owner
4904 Pr6Pc../e7486..

term root
fa919..