Theorem LinearMap.nilRank_eq_polyCharpoly_natTrailingDegree

Modification history