Ассоциативность композиции функций

Удаление файла
Коммутативность умножения в арифметике Пеано
2022-06-02 19:43:57 +03:00 · 2022-06-02 19:41:02 +03:00 · 2022-06-02 19:39:46 +03:00 · 2022-06-02 19:39:03 +03:00
2 changed files with 0 additions and 0 deletions
--- a/KompFunc.v
+++ b/KompFunc.v
--- a/PeanoMult.v
+++ b/PeanoMult.v
Author	SHA1	Message	Date
Dmitriy Gorshenin	2fed4706b6	Ассоциативность композиции функций	2022-06-02 19:43:57 +03:00
Dmitriy Gorshenin	ab63ebcf52	Удаление файла	2022-06-02 19:41:02 +03:00
Dmitriy Gorshenin	b4848320ee	Коммутативность умножения в арифметике Пеано	2022-06-02 19:39:46 +03:00
Dmitriy Gorshenin	a567ef364e	Удаление файла	2022-06-02 19:39:03 +03:00