Proofgold Object

λ x0 x1 . and (and (30750.. x1) (30750.. x0)) (93c99.. x1 (λ x2 . λ x3 : ι → ι → ι . 93c99.. x0 (λ x4 . λ x5 : ι → ι → ι . and (and (x0 = 987b2.. x4 x3) (4f2b4.. (987b2.. x4 x3))) (Subq x4 x2))))

type
ι → ι → ο

theory
HoTg

name
-

definition
PUK9H..

Megalodon
-

proofgold address
TMWQo..

creator
4803 PrGxv../13e84..

owner
4803 PrGxv../13e84..

term root
05af6..