Theorem LinearMap.nilRankAux_le

Modification history