From 051d906210740f37c24b9b758b2ca73552146c91 Mon Sep 17 00:00:00 2001
From: Vlad Saif <vlad9931@gmail.com>
Date: Wed, 21 Nov 2018 02:13:27 +0300
Subject: [PATCH] Update hw-theory.tex
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Может быть так?
Границы более осмыслены и проблем некоторых не будет...
---
 hw-theory.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/hw-theory.tex b/hw-theory.tex
index 3e71898..4f8bfee 100644
--- a/hw-theory.tex
+++ b/hw-theory.tex
@@ -316,8 +316,8 @@ \section*{Домашнее задание №9: <<Idris, введение>>}
 строящую новый вектор, в котором два элемента вектора поменяны местами.
 
 \item Определите функции арифметики для Fin:\\
-(а) \verb!plus_fin: Fin a -> Fib b -> Fin (a+b)!\\
-(б) \verb!mul_fin: Fin a -> Fin b -> Fin (a*b)!\\
+(а) \verb!plus_fin: Fin (S a) -> Fib (S b) -> Fin (S (a+b))!\\
+(б) \verb!mul_fin: Fin (S a) -> Fin (S b) -> Fin (S (a*b))!\\
 (в) \verb!dec_fin: Fin (S a) -> Fin a!
 
 \item Определите функции минимума для натуральных (Пеано) и конечных чисел:\\