Theorem Int.natCast_natAbs

Modification history