Proofgold Object

λ x0 x1 . ∀ x2 . In x2 x0 ⟶ nIn x2 x1

type
ι → ι → ο

theory
HF

name
-

definition
PUhzw..

Megalodon
-

proofgold address
TMWXA..

creator
259 Pr8qe../929b1..

owner
259 Pr8qe../929b1..

term root
5b244..