Theorem Irrational.natCast_div

Modification history