Theorem Rat.exists_mul_self

Modification history