mathswitch
— infrastructure for relaying and exchanging mathematical concepts
Noether normalization lemma
theorem
Wikidata: Noether normalization lemma