|
35cd68f35f
|
Removed specific error in proof.
|
2024-01-03 13:50:53 +01:00 |
|
|
201a3ed1e0
|
Removed error in proofs.
|
2024-01-03 13:46:55 +01:00 |
|
|
4b35b10aaa
|
Updated indexing.
|
2024-01-03 13:39:36 +01:00 |
|
|
3d60b04482
|
Added the section number-theory and removed some error.
|
2024-01-03 13:18:38 +01:00 |
|
|
263cf753ed
|
Finished set-theory, updated start menu: added references.
|
2023-12-31 21:51:20 +01:00 |
|
|
6575aa80f9
|
Removed errors.
|
2023-12-30 20:54:26 +01:00 |
|
|
e631fe7a0f
|
Added several of sections in set theory.
|
2023-12-30 20:51:25 +01:00 |
|
|
b8692bc71f
|
Added orders in set theory.
|
2023-12-30 19:57:04 +01:00 |
|
|
06cb95c421
|
Updated also for nl.
|
2023-12-29 17:29:14 +01:00 |
|
|
397184c1ed
|
Updated light mode error.
|
2023-12-29 17:27:54 +01:00 |
|
|
cebb902e83
|
Removed error for stylesheets.
|
2023-12-29 17:21:37 +01:00 |
|
|
357c045fbf
|
Updated stylesheets.
|
2023-12-29 17:11:21 +01:00 |
|
|
28002f6244
|
Updated section permutations in set theory.
|
2023-12-29 14:04:26 +01:00 |
|
|
edf7608c8c
|
Added the sections permutations in set theory.
|
2023-12-28 14:03:48 +01:00 |
|
|
831feb1175
|
Added section to maps in set theory.
|
2023-12-28 13:02:57 +01:00 |
|
|
9fbccf04f0
|
Added section to maps in set theory.
|
2023-12-27 17:37:52 +01:00 |
|
|
c1844fe21f
|
Removed error in formatting proofs.
|
2023-12-27 17:12:52 +01:00 |
|
|
6e4def3f9f
|
Added part of maps in set theory and improved general syntax.
|
2023-12-27 17:10:27 +01:00 |
|
|
b2bd08d27f
|
Finished relations.md
|
2023-12-11 17:13:32 +01:00 |
|
|
53ccc99fc2
|
Updated relations and mkdocs.yaml
|
2023-12-09 21:38:01 +01:00 |
|
|
0d1559b79d
|
Updated colours.
|
2023-12-07 22:04:29 +01:00 |
|
|
6ebfe28a52
|
Updated colours.
|
2023-12-07 22:02:38 +01:00 |
|
|
bfa955a5b2
|
Updated colours.
|
2023-12-07 22:01:04 +01:00 |
|
|
77500ac259
|
Updated colours.
|
2023-12-07 21:59:25 +01:00 |
|
|
46b7b24ff5
|
Updated colours.
|
2023-12-07 21:56:46 +01:00 |
|
|
b94fac2c8f
|
Updated colours.
|
2023-12-07 21:55:58 +01:00 |
|
|
8e32d50cb8
|
Updated colours.
|
2023-12-07 21:55:18 +01:00 |
|
|
f6fd9bbf4f
|
Updated colours.
|
2023-12-07 21:51:34 +01:00 |
|
|
26bd243a67
|
Updated colours.
|
2023-12-07 21:48:50 +01:00 |
|
|
6e7bee41ce
|
Updated colours.
|
2023-12-07 21:46:23 +01:00 |
|
|
cf8f31bcda
|
Updated colours.
|
2023-12-07 21:42:40 +01:00 |
|
|
be52e39624
|
Updated colours.
|
2023-12-07 21:38:31 +01:00 |
|
|
4620c545f1
|
Updated blockquotes.
|
2023-12-06 22:13:40 +01:00 |
|
|
ca475fefe6
|
Updated blockquotes.
|
2023-12-06 22:12:22 +01:00 |
|
|
fa91b5d91c
|
Updated blockquotes.
|
2023-12-06 22:08:42 +01:00 |
|
|
1ee5e89ad6
|
Updated blockquotes.
|
2023-12-06 22:05:53 +01:00 |
|
|
0f5f932468
|
Updated blockquotes.
|
2023-12-06 21:54:26 +01:00 |
|
|
c91f32277d
|
Updated blockquotes.
|
2023-12-04 16:17:56 +01:00 |
|
|
16be094efd
|
Updated sets.md and added part of relations.md
|
2023-12-04 15:57:42 +01:00 |
|
|
cc5df250a2
|
Updated/finished sets.md
|
2023-12-02 16:22:37 +01:00 |
|
|
fb86e33e37
|
Updated sets.md
|
2023-12-02 13:46:27 +01:00 |
|
|
e3ce071f1f
|
Updated sets.md
|
2023-12-02 13:43:29 +01:00 |
|
|
8a643c5b1b
|
Updated logic and added set theory.
|
2023-12-02 13:39:20 +01:00 |
|
|
70ea333730
|
Updated syntax.
|
2023-11-22 10:46:03 +01:00 |
|
|
5de172cdb6
|
Removed error.
|
2023-11-22 10:23:00 +01:00 |
|
|
500d5382f0
|
Finished logic section.
|
2023-11-22 10:19:50 +01:00 |
|
|
e173756748
|
Merge remote-tracking branch 'refs/remotes/origin/main'
|
2023-11-21 21:55:27 +01:00 |
|
|
3fe0a4131f
|
Updated math section.
|
2023-11-21 21:52:30 +01:00 |
|
|
30dbceb1f7
|
Removed error.
|
2023-11-15 19:44:38 +01:00 |
|
|
0eed6a8a93
|
Updated formal definitions of the limit.
|
2023-11-10 10:32:05 +01:00 |
|