lgallet/epicours
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

vault backup: 2023-10-04 11:58:23

Browse Source
This commit is contained in:
Louis Gallet
2023-10-04 11:58:23 +02:00
parent 8e32489bfe
commit 58fd976855
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
Algo/CM/CM du 04 octobre.md
View File

@ -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 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