diff options
| author | Kazuhiko Sakaguchi | 2020-10-10 02:01:06 +0900 |
|---|---|---|
| committer | Kazuhiko Sakaguchi | 2020-10-29 11:50:13 +0900 |
| commit | 5f430f0d093c8b16a172ef686aa9d194e69f412c (patch) | |
| tree | c6614dc4ec3755691ede8c61263e15d23a52c746 /mathcomp/algebra | |
| parent | 0fa6c4706c02ceb61c50a7769a0b598c0b82a001 (diff) | |
Add new lemmas iterM and iterX in ssrnat
Diffstat (limited to 'mathcomp/algebra')
0 files changed, 0 insertions, 0 deletions