Proofgold Object

λ x0 x1 . λ x2 : ι → ι → ο . ∀ x3 . x3 ⊆ x1 ⟶ atleastp x0 x3 ⟶ not (∀ x4 . x4 ∈ x3 ⟶ ∀ x5 . x5 ∈ x3 ⟶ (x4 = x5 ⟶ ∀ x6 : ο . x6) ⟶ x2 x4 x5)

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

theory
HotG

name
-

definition
PUTgE..

Megalodon
-

proofgold address
TMR7E..

creator
34113 Pr4zB../0bd86..

owner
34113 Pr4zB../0bd86..

term root
3013d..