Theorem Irrational.ratCast_sub

Modification history