Theorem LinearIndependent.set_finite_of_isNoetherian

Modification history