diff options
| author | Hugo Herbelin | 2019-09-03 00:03:21 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2019-09-03 00:03:21 +0200 |
| commit | bcf2dae1e39c6ff27c574a82c4451323a673b15f (patch) | |
| tree | 9cc5ac85f538be7b057a482772309b83eb8f0539 /library | |
| parent | 5beee5423d32ada40de31608c7fd7c57dd9a6f91 (diff) | |
| parent | 409ba5c818ad17caff37d111e8a1122a145bf70b (diff) | |
Merge PR #10651: New lemmas for List.v
Ack-by: Zimmi48
Reviewed-by: herbelin
Diffstat (limited to 'library')
0 files changed, 0 insertions, 0 deletions