diff options
| author | Kazuhiko Sakaguchi | 2020-11-27 02:34:35 +0900 |
|---|---|---|
| committer | Kazuhiko Sakaguchi | 2020-11-29 22:41:21 +0900 |
| commit | 86a3d1a4c742a273414c98f6a8b1a99f0d081a98 (patch) | |
| tree | 725128fa645c49f426609a77fee71bf2064cf48b /kernel/type_errors.ml | |
| parent | 270b2be49e9cdc70936cec8495c53602bcf40f57 (diff) | |
Backport ssrbool lemmas from MathComp 1.12.0
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions