Theorem Num.toNat_injective

Modification history