Proofgold Object

ReplSep2 int_alt1 (λ x0 . omega) (λ x0 x1 . x1 = 0 ⟶ ∀ x2 : ο . x2) div_CSNo

type
ι

theory
HotG

name
-

definition
PUL9u..

Megalodon
rational

proofgold address
TMJ8q..^rational

creator
4970 Pr6Pc../972a8..

owner
4970 Pr6Pc../972a8..

term root
60458..