diff options
| author | coqbot-app[bot] | 2021-01-20 20:55:21 +0000 |
|---|---|---|
| committer | GitHub | 2021-01-20 20:55:21 +0000 |
| commit | 07fed7d769bb6e78384c9f5312bd8a73bbb582ed (patch) | |
| tree | 1738aa66eb2bd35ca3eb37c63c63c518afda0871 /kernel | |
| parent | ea966282416e1c62d095542129ab03e3632df898 (diff) | |
| parent | d995de51f725729b5da4fbe45823b1110627c785 (diff) | |
Merge PR #13769: Use cbn instead of simpl in a proof of HexadecimalNat.
Reviewed-by: olaure01
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions