Proofgold Object

3b429.. a470d.. (λ x0 . 48ef8..) (λ x0 x1 . x1 = 4a7ef.. ⟶ ∀ x2 : ο . x2) df931..

type
ι

theory
HoTg

name
-

definition
PUXVB..

Megalodon
-

proofgold address
TMFsm..

creator
3938 PrGxv../3aaac..

owner
3938 PrGxv../3aaac..

term root
d18e4..