Proofgold Object

λ x0 x1 . ap x1 3

type
ι → ι → ι

theory
HotG

name
K_field_3

definition
PUVyd..

Megalodon
-

proofgold address
TMPyD..

creator
5857 Pr6Pc../244c8..

owner
5857 Pr6Pc../244c8..

term root
876af..