diff options
| author | Christian Doczkal | 2020-10-01 17:15:40 +0200 |
|---|---|---|
| committer | Christian Doczkal | 2020-11-02 11:33:58 +0100 |
| commit | e13e96e00c681d1b9109302e0f5ea0979442bd0a (patch) | |
| tree | 192a207a9c32ebefeadfcb1650df130eb5155c02 /mathcomp/Make | |
| parent | a180734646304c9dbb4dedc01240b41f46958e24 (diff) | |
lemmas for reasoing about "rot n (rot m s)"
Diffstat (limited to 'mathcomp/Make')
0 files changed, 0 insertions, 0 deletions