Theorem rank_mul_rank

Modification history