diff options
| author | Cyril Cohen | 2020-09-29 20:44:05 +0200 |
|---|---|---|
| committer | GitHub | 2020-09-29 20:44:05 +0200 |
| commit | 43538ace36aa9e5c4c999e24c418db09458b325b (patch) | |
| tree | 3098b37009bc40e5830e5cf571af6917cb369840 /docs | |
| parent | d196c0953783d161e4b392ceac1ebf0ee9fe35dd (diff) | |
| parent | dad78be41d2852dd563333b69dc3f240056a95da (diff) | |
Merge pull request #506 from anton-trunov/ssrnat-extra-assoc-lemmas
ssrnat: add subnA, addnCB, addnCAC, addnAl lemmas
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions