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