Proofgold Object

λ x0 x1 . and (and (and (and (and (and (Field x0) (Field x1)) (field0 x0 ⊆ field0 x1)) (field3 x0 = field3 x1)) (field4 x0 = field4 x1)) (∀ x2 . x2 ∈ field0 x0 ⟶ ∀ x3 . x3 ∈ field0 x0 ⟶ field1b x0 x2 x3 = field1b x1 x2 x3)) (∀ x2 . x2 ∈ field0 x0 ⟶ ∀ x3 . x3 ∈ field0 x0 ⟶ field2b x0 x2 x3 = field2b x1 x2 x3)

type
ι → ι → ο

theory
HotG

name
subfield

definition
PUXQg..

Megalodon
subfield

proofgold address
TMGfn..^subfield

creator
5919 Pr6Pc../b0811..

owner
5919 Pr6Pc../b0811..

term root
9216a..