Theorem rat_inv_continuous_lemma

Modification history