Theorem IsNoetherian.finite_basis_index

Modification history