Theorem isNoetherian_adjoin_finset

Modification history