Theorem Subalgebra.fg_of_noetherian

Modification history