Proofgold Object

λ x0 x1 . ap x1 4

type
ι → ι → ι

theory
HotG

name
K_field_4

definition
PUVyd..

Megalodon
-

proofgold address
TMJMZ..

creator
5857 Pr6Pc../63850..

owner
5857 Pr6Pc../63850..

term root
465e1..