Theorem rank_directSum

Modification history