Proofgold Term Root Disambiguation

∀ x0 x1 . subfield x0 x1 ⟶ Group (Galois_Group x1 x0)

as obj
-

as prop
ed4e9..^{Galois_Group_Group}

theory
HotG

stx
6b5ba..

address
TMF8s..^{Galois_Group_Group}