Theorem LinearMap.nilRank_le_finrank

Modification history