Я создаю контракт краудсейла, в котором используются смарт-контракты open-zeppelin, а файлы, которые я использую, - это базовый Crowdsale.sol и расширение CappedCrowdsale.sol . Итак, эти оба файла импортируют библиотеку SafeMath: import...