Theorem rat_mul_continuous_lemma

Modification history