Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 . ap (Galois_Group x0 x1) 0 = Sep (setexp (ap x0 0) (ap x0 0)) (Field_automorphism_fixing x0 x1)
as obj
-
as prop
efd19..Galois_Group_0
theory
HotG
stx
6b5ba..
address
TMP5R..Galois_Group_0