Основы функционального программирования/Доказательство свойств функций: различия между версиями