Theorem isNoetherian_of_linearEquiv

Modification history