diff options
| author | Raito Bezarius | 2024-03-26 14:25:07 +0100 |
|---|---|---|
| committer | Raito Bezarius | 2024-03-26 14:25:07 +0100 |
| commit | 33a92dac2635ead90cb84c16023355a7d679d434 (patch) | |
| tree | 2fa3210861a660ae5dec29dee4956dd21ff44551 /lean-toolchain | |
| parent | 014fc51d291188afd405c33a8281fbb5013ad304 (diff) | |
feat: first property "set of values post = {a} \cup set of values pre"
This is a first property which is generic of all BSTs.
Signed-off-by: Raito Bezarius <masterancpp@gmail.com>
Diffstat (limited to 'lean-toolchain')
0 files changed, 0 insertions, 0 deletions