Theorem Irrational.of_div_natCast

Modification history