« “$[K : K^{G}] = \\lvert G \\rvert$”
default
nord
catppuccin
serena
Proof.
sketch (TODO)
[2301A]