Search for blocks/addresses/...
Proofgold Object
λ x0 x1 .
pack_b
(
Sep
(
setexp
(
ap
x0
0
)
(
ap
x0
0
)
)
(
Field_automorphism_fixing
x0
x1
)
)
(
lam_comp
(
ap
x0
0
)
)
type
ι
→
ι
→
ι
theory
HotG
name
Galois_Group
definition
PUXQg..
Megalodon
Galois_Group
proofgold address
TMTJq..
Galois_Group
creator
5919
Pr6Pc..
/
409a4..
owner
5919
Pr6Pc..
/
409a4..
term root
83119..