processing...
home
items
galois theory
create a passkey
account
chatqed
Coq
Agda
Lean
references
items
authors
citations
tools
unicode
settings
help
Galois Theory
References
Higher Galois Theory. Marc Hoyois. 2017.
The Galois Group of a Stable Homotopy Theory. Akhil Mathew. 2016.