Theorem LinearMap.isSimpleModule_iff_of_bijective

Modification history