Theorem Irrational.div_natCast

Modification history