Theorem rank_quotient_le

Modification history