Theorem EReal.exists_nat_ge_mul

Modification history