diff options
| author | quentin@aristote.fr <quentin@aristote.fr> | 2025-02-27 09:14:39 +0100 |
|---|---|---|
| committer | quentin@aristote.fr <quentin@aristote.fr> | 2025-02-27 09:14:39 +0100 |
| commit | 27c26fd4140f0a7795e4439d075ef81e316bc4cc (patch) | |
| tree | 905e23e783fcad35a7f8018a4977bb0da92a8667 /src.nix | |
| parent | 6e2ff32740edde0721fd272c35871af059fd16ff (diff) | |
aristoteMonotoneWeakDistributive2025: add abstract
Diffstat (limited to 'src.nix')
0 files changed, 0 insertions, 0 deletions