Theorem LinearMap.rank_diagonal

Modification history