Theorem Rat.intCast_injective

Modification history