Theorem LinearMap.ker_ne_bot_of_finrank_lt

Modification history