Theorem Irrational.of_ratCast_sub

Modification history