Proofgold Proposition

∀ x0 . Field x0 ⟶ x0 = pack_b_b_e_e (field0 x0) (field1b x0) (field2b x0) (field3 x0) (field4 x0)

type
prop

theory
HotG

name
Field_eta

proof
PUMpo..

Megalodon
Field_eta

proofgold address
TMHvj..^Field_eta

creator
5881 Pr6Pc../a5c4e..

owner
5881 Pr6Pc../a5c4e..

term root
d8b34..