Theorem rank_lt_rank_dual'

Modification history