Proofgold Proposition

∀ x0 x1 . subfield x0 x1 ⟶ ∀ x2 : ο . (Field x0 ⟶ Field x1 ⟶ field0 x0 ⊆ field0 x1 ⟶ field3 x0 = field3 x1 ⟶ field4 x0 = field4 x1 ⟶ (∀ x3 . x3 ∈ field0 x0 ⟶ ∀ x4 . x4 ∈ field0 x0 ⟶ field1b x0 x3 x4 = field1b x1 x3 x4) ⟶ (∀ x3 . x3 ∈ field0 x0 ⟶ ∀ x4 . x4 ∈ field0 x0 ⟶ field2b x0 x3 x4 = field2b x1 x3 x4) ⟶ x2) ⟶ x2

type
prop

theory
HotG

name
subfield_E

proof
PUXQg..

Megalodon
subfield_E

proofgold address
TMNqv..^subfield_E

creator
5919 Pr6Pc../3a829..

owner
5919 Pr6Pc../3a829..

term root
d7e94..