Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 x2 . subfield x1 x0Field_Hom x0 x0 x2(∀ x3 . x3ap x0 0∀ x4 : ο . (∀ x5 . and (x5ap x0 0) (ap x2 x5 = x3)x4)x4)(∀ x3 . x3ap x1 0ap x2 x3 = x3)Field_automorphism_fixing x0 x1 x2
as obj
-
as prop
b9288..Field_automorphism_fixing_I
theory
HotG
stx
6b5ba..
address
TMSoh..Field_automorphism_fixing_I