Theorem Int.ofNat_injective

Modification history