diff options
| author | Kazuhiko Sakaguchi | 2020-11-19 18:12:26 +0900 |
|---|---|---|
| committer | Cyril Cohen | 2020-11-24 02:14:20 +0100 |
| commit | a18a03452a84e1f54716ce20accca4e16715e382 (patch) | |
| tree | 08b97c67a789e8a5bc57299a59943d279af7350e /mathcomp/test_suite | |
| parent | 84dbef80c27392413f96f77d2314a3b34a7a88f8 (diff) | |
Add `_in` lemmas for `sort`
Diffstat (limited to 'mathcomp/test_suite')
0 files changed, 0 insertions, 0 deletions