Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 x1 . pack_b (Sep (setexp (ap x0 0) (ap x0 0)) (Field_automorphism_fixing x0 x1)) (lam_comp (ap x0 0))
as obj
ca458..Galois_Group
as prop
-
theory
HotG
stx
6b5ba..
address
TMYqx..Galois_Group