« bijection between sub-extensions and subgroups
default
nord
catppuccin
serena
Proof.
sketch (TODO)
[2302A]