From 51374465571f4765cc30726f4e47dde8a4024419 Mon Sep 17 00:00:00 2001
From: Louis <me@louisgallet.fr>
Date: Wed, 4 Oct 2023 12:50:17 +0200
Subject: [PATCH] vault backup: 2023-10-04 12:50:17

---
 Algo/CM/CM du 04 octobre.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/Algo/CM/CM du 04 octobre.md b/Algo/CM/CM du 04 octobre.md
index 3cde621..23d4f03 100644
--- a/Algo/CM/CM du 04 octobre.md	
+++ b/Algo/CM/CM du 04 octobre.md	
@@ -55,3 +55,9 @@ Axioms
 ```
 Here, `nth`is a partial operation and `isinit` is a auxiliary operation
 
+## Important things to create a abstract type
+- What we want to create
+- Add all necessary operations
+- Preconditions
+- Axios
+- 
\ No newline at end of file