diff options
| author | Kazuhiko Sakaguchi | 2020-11-25 22:14:58 +0900 |
|---|---|---|
| committer | Kazuhiko Sakaguchi | 2020-11-25 22:29:55 +0900 |
| commit | d844896e6418bb00418964bb4ae4219e2bd6b69c (patch) | |
| tree | ccb40cfc9264241424aba156aa6e5289c9acfa8d /mathcomp/ssreflect/path.v | |
| parent | 43796130c3e59c0651a283e6654a7d82acbfeed3 (diff) | |
Rename `all1rel` to `all2rel`, restate `eq_allrel`, and add CHANGELOG entries
Co-authored-by: Cyril Cohen <CohenCyril@users.noreply.github.com>
Diffstat (limited to 'mathcomp/ssreflect/path.v')
0 files changed, 0 insertions, 0 deletions