From ce92b78c09e218c87e637f0082b9a8e7eb28899e Mon Sep 17 00:00:00 2001 From: Louis Date: Wed, 4 Oct 2023 11:29:11 +0200 Subject: [PATCH] vault backup: 2023-10-04 11:29:11 --- Algo/CM/CM du 04 octobre.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Algo/CM/CM du 04 octobre.md b/Algo/CM/CM du 04 octobre.md index 4161656..49a7018 100644 --- a/Algo/CM/CM du 04 octobre.md +++ b/Algo/CM/CM du 04 octobre.md @@ -1,6 +1,6 @@ An abstract type have a signature, which contains types, uses and operations, and have some axioms. -An axiom let us determine the value of the application of the observers with the internal operations (in the example below, the operation modify). An axiom must be precise. +An axiom let us determine the value of the application of the observers with the internal operations (in the example below, the operation modify). We can see that as a validation. An axiom must be precise. ``` Types