diff options
| author | Kazuhiko Sakaguchi | 2020-11-04 00:25:52 +0900 |
|---|---|---|
| committer | GitHub | 2020-11-04 00:25:52 +0900 |
| commit | 6eceb3bc43342c0b4cb03716651a017ce88fed09 (patch) | |
| tree | 5c00b61bbed7dd8ff6b34fa76228da31dba5024f /mathcomp/algebra | |
| parent | f980c1a579988325efcc5071a8067380a870e403 (diff) | |
| parent | e13e96e00c681d1b9109302e0f5ea0979442bd0a (diff) | |
Merge pull request #603 from chdoc/rot-rot
lemmas for reasoning about "rot n (rot m s)"
Diffstat (limited to 'mathcomp/algebra')
0 files changed, 0 insertions, 0 deletions