diff options
| author | Kazuhiko Sakaguchi | 2020-11-25 07:39:09 +0900 |
|---|---|---|
| committer | GitHub | 2020-11-24 23:39:09 +0100 |
| commit | 7189708809e3c79effe40a2c9ecf693f66423cd3 (patch) | |
| tree | ade92936c345056098fd17782cf63714681c4a06 /mathcomp/algebra | |
| parent | 7d41b02be0fa9e317464ac0803aad18fb15981c5 (diff) | |
Transpose `join_idP(l|r)` lemmas to follow the naming convention (#671)
Transpose `join_idP(l|r)` lemmas to follow the naming convention
Diffstat (limited to 'mathcomp/algebra')
0 files changed, 0 insertions, 0 deletions