File tree 1 file changed +9
-9
lines changed
1 file changed +9
-9
lines changed Original file line number Diff line number Diff line change @@ -26,15 +26,15 @@ Bugs fixed:
26
26
New theories:
27
27
-------------
28
28
29
- - ` number ` , ` combinatorics ` and ` prime ` : These are combined theories of materials
30
- from ` examples/algebra/lib ` , etc. They contain some more advanced results from
31
- number theory (in particular properties of prime numbers) and combinatorics.
32
-
33
- - ` monoid ` , ` group ` , ` ring ` and ` real_algebra ` : These are combined theories
34
- of materials ever in ` examples/algebra ` . A monoid is an algebraic structure:
35
- with a carrier set, a binary operation and an identity element. A group is an
36
- algebraic structure: a monoid with all its elements invertible. A ring takes
37
- into account the interplay between its additive group and multiplicative monoid.
29
+ - ` number ` , ` combinatorics ` and ` prime ` : These theories combine material
30
+ from ` examples/algebra/lib ` , etc.
31
+ They contain some more advanced results from number theory (in particular properties of prime numbers) and combinatorics.
32
+
33
+ - ` monoid ` , ` group ` , ` ring ` and ` real_algebra ` : These theories combine
34
+ material previously held in ` examples/algebra ` .
35
+ A monoid is an algebraic structure: with a carrier set, a binary operation and an identity element.
36
+ A group is an algebraic structure: a monoid with all its elements invertible.
37
+ A ring takes into account the interplay between its additive group and multiplicative monoid.
38
38
39
39
New tools:
40
40
----------
You can’t perform that action at this time.
0 commit comments