Theorem LinearMap.isArtinian_iff_of_bijective

Modification history