Theorem LinearMap.rank_zero

Modification history