Proofgold Object

λ x0 : ι → ι → ο . and (and (and (and (39ffe.. x0) (548f8.. x0)) (17cd1.. x0)) (29aed.. x0)) True

type
(ι → ι → ο) → ο

theory
HOAS

name
-

definition
PUNEB..

Megalodon
-

proofgold address
TMTct..

creator
2336 PrGxv../e93fa..

owner
2336 PrGxv../e93fa..

term root
b54c4..