Proofgold Object

λ x0 x1 . ∀ x2 . x2 ∈ x0 ⟶ x2 ∈ x1

type
ι → ι → ο

theory
HotG

name
Subq

definition
PUQdE..

Megalodon
Subq

proofgold address
TMJci..^Subq

creator
4882 Pr6Pc../bb3bc..

owner
4882 Pr6Pc../bb3bc..

term root
81c0e..