Proofgold Object

λ x0 x1 x2 . ∀ x3 : ο . (∀ x4 . (∀ x5 : ο . (∀ x6 . and (and (e95e2.. x0 x4 x1 x2) (subfield x4 x6)) (radical_field_extension x0 x6) ⟶ x5) ⟶ x5) ⟶ x3) ⟶ x3

type
ι → ι → ι → ο

theory
HotG

name
-

definition
PUXQg..

Megalodon
-

proofgold address
TMTfj..

creator
5919 Pr6Pc../71824..

owner
5919 Pr6Pc../71824..

term root
747ec..