CODE EXAMPLE FOR TYPESCRIPT

import openzeppelin contracts in remix

import "https://github.com/OpenZeppelin/openzeppelin-contracts/blob/v2.5.0/contracts/math/SafeMath.sol";