Theorem LinearMap.exists_isNilRegular_of_finrank_le_card

Modification history