Theorem Int.natAbs_eq

Modification history