Proofgold Object

λ x0 . λ x1 : ι → ι . λ x2 . ∀ x3 . SNo x3 ⟶ SNoLt 0 x3 ⟶ ∀ x4 : ο . (∀ x5 . and (x5 ∈ x0) (∀ x6 . x6 ∈ setminus x0 x5 ⟶ SNoLt (abs_SNo (add_SNo (x1 x6) (minus_SNo x2))) x3) ⟶ x4) ⟶ x4

type
ι → (ι → ι) → ι → ο

theory
HotG

name
-

definition
PUfRQ..

Megalodon
-

proofgold address
TMbza..

creator
6761 Pr6Pc../62ece..

owner
6761 Pr6Pc../62ece..

term root
c2c6b..