Noether's normalization lemma

1. REDIRECT Noether normalization lemma

{{Redirect category shell|

{{R from modification}}

}}