Theorem LinearMap.polyCharpoly_natDegree

Modification history