Learning dynamic polynomial proofs. https://t.co/Wk6EsBQn5k

1 4

The invariant subring of a polynomial ring was a scary thing before Emmy Noether came around

18 57