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

271

правка