From 58fd976855454213a2f18689b75afb5615a0dac3 Mon Sep 17 00:00:00 2001 From: Louis Date: Wed, 4 Oct 2023 11:58:23 +0200 Subject: [PATCH] vault backup: 2023-10-04 11:58:23 --- 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 8145e01..244d9cc 100644 --- a/Algo/CM/CM du 04 octobre.md +++ b/Algo/CM/CM du 04 octobre.md @@ -28,4 +28,4 @@ That an consistency, because the two `nth`axioms are contradictory The completeness is when we have enough axioms for our abstract type -To use partial operations we have to create some preconditions +To use partial operations we have to create some preconditions \ No newline at end of file