Theorem Rat.den_intCast

Modification history