Proofgold Object

λ x0 x1 . ap x1 0

type
ι → ι → ι

theory
HotG

name
K_field_0

definition
PUVyd..

Megalodon
-

proofgold address
TMNL4..

creator
5857 Pr6Pc../33d5f..

owner
5857 Pr6Pc../33d5f..

term root
e31f0..