Theorem LinearMap.nilRank_le_natTrailingDegree_charpoly

Modification history