Theorem LinearMap.finrank_le_finrank_of_injective

Modification history