Theorem LinearMap.isNoetherian_iff_of_bijective

Modification history