Theorem LinearMap.nilRank_le_card

Modification history