« more statements of the Fundamental Theorem
default
nord
catppuccin
serena
Proof.
sketch (TODO)
[2303A]