diff options
| author | Andreas Grois <andi@grois.info> | 2024-01-13 18:00:10 +0100 |
|---|---|---|
| committer | Andreas Grois <andi@grois.info> | 2024-01-13 18:00:10 +0100 |
| commit | 44e1c40fdef5d68b076d23ee030d5914d51b1414 (patch) | |
| tree | 9f2510b71f1c7aeb79451da1cb814fc667b4b4b1 /Common/Nat.lean | |
| parent | 25f2f5c2ba05433ad07cf855b8a61ab199107cee (diff) | |
Change heap from less-than to less-than-or-equal.
This not only simplifies the proofs, it also makes the structure easier
to use.
Diffstat (limited to 'Common/Nat.lean')
0 files changed, 0 insertions, 0 deletions