Theorem Int.natMod_lt

Modification history