diff options
| author | Kazuhiko Sakaguchi | 2020-10-31 14:20:16 +0900 |
|---|---|---|
| committer | Kazuhiko Sakaguchi | 2020-11-13 21:07:20 +0900 |
| commit | 2f906481423530b03f21ff605aaee3f281131608 (patch) | |
| tree | 212ba9aa5bd6290afcc38b0ac908376ab8f78a92 /docs | |
| parent | 2cc9e05d1fc4e6afb2dbb96e6cba2cd0af0a009f (diff) | |
Rename `eq_sorted` lemmas to `sorted_eq` and generalize `sort_le_id`
- Rename `eq_sorted` lemmas to `sorted_eq` to address a naming inconsistency.
- Lemma `sort_le_id` has been generalized from `orderType` to `porderType`.
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions