Proofgold Object

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

type
ι → (ι → ι) → ο

theory
HotG

name
-

definition
PUfRQ..

Megalodon
-

proofgold address
TMSQv..

creator
6761 Pr6Pc../55d45..

owner
6761 Pr6Pc../55d45..

term root
2c86f..