Theorem Rat.natCast_injective

Modification history