Значение слова ПРАВКА в Толковом словаре Ефремовой

Что такое ПРАВКА

правка

ж.

1) Процесс действия по знач. глаг.: править (2*).

2) Результат такого процесса действия.

Ефремова. Толковый словарь Ефремовой.