Proofgold Object

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

type
ι → (ι → ι) → ο

theory
HotG

name
-

definition
PUfRQ..

Megalodon
-

proofgold address
TMSQv..

creator
6761 Pr6Pc../55d45..

owner
6761 Pr6Pc../55d45..

term root
2c86f..