diff options
| author | Cyril Cohen | 2020-08-19 16:33:32 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2020-09-05 16:17:21 +0200 |
| commit | 828e60cae73eb7153d1f585f80b125f679dc0461 (patch) | |
| tree | e729045ca39c47198c8a037ebc8558e616c98c08 /docs | |
| parent | 03dd7f46126c5125c7d166bfbcbb8e4b33b1906c (diff) | |
Adding contra lemmas with orders
- Adding contra lemmas between `leq`, `ltn`, `Order.le` ("le"),
`Order.lt` ("lt"), `b` ("T"), `~~ b` ("N"), `b = false` ("F"),
and `~ P` ("not").
- Changelog for contra lemmas with orders
Co-authored-by: Reynald Affeldt <reynald.affeldt@aist.go.jp>
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions