Theorem Complex.rank_rat_complex

Modification history