| commit | 209ff1129d3e673f94a45a44640cc21507002c72 | [log] [tgz] |
|---|---|---|
| author | Dimitri Papadopoulos <3234522+DimitriPapadopoulos@users.noreply.github.com> | Tue Dec 10 10:32:30 2024 +0100 |
| committer | Dimitri Papadopoulos Orfanos <3234522+DimitriPapadopoulos@users.noreply.github.com> | Mon Apr 28 12:28:21 2025 +0200 |
| tree | 9c7ec7a4702f464f508e3f189f45c093cde82764 | |
| parent | 5d9f600d801282b263285887653ef79ca92b309a [diff] |
remove disjointness->disjointedness While `disjointness` is missing from the OED and other mainstream dictionaries, it is commonly used to descrbe disjoint sets in the context of mathematics.