Theorem Real.rank_rat_real

Modification history