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