This commit is contained in:
Oscar Plaisant
2025-04-25 10:47:44 +02:00
parent 77ad647018
commit d0bc4b6f5b
44 changed files with 817 additions and 2317 deletions

View File

@@ -17,8 +17,8 @@ aliases:
> - $(A, \times)$ est un [[monoïde]]
> - $\times$ est [[associativité|associative]]
> - il y a un [[élément neutre]] $1_{A}$ pour $\times$
> - $\forall (x; a; b) \in A, \quad x \times (a + b) = (x \times a) + (x \times b)$
> - $\times$ est [[distributivité|distributive]] par rapport à $+$ (à droite et à gauche)
> - $\forall (x; a; b) \in A, \quad x \times (a + b) = (x \times a) + (x \times b)$
^definition
```breadcrumbs