diff options
| author | Cyril Cohen | 2020-10-30 18:51:49 +0100 |
|---|---|---|
| committer | GitHub | 2020-10-30 18:51:49 +0100 |
| commit | 07a2bf3aaa85730616cdaf116ef727fedef3ca30 (patch) | |
| tree | b2295a16ba082ae4d9f651040c8966d639cf4609 /mathcomp/algebra | |
| parent | 1ec04efdcd1b00a6ae651551699c8b815a2a063f (diff) | |
| parent | 5f430f0d093c8b16a172ef686aa9d194e69f412c (diff) | |
Merge pull request #610 from pi8027/iter-lemmas
Add new lemmas iterM and iterX in ssrnat
Diffstat (limited to 'mathcomp/algebra')
0 files changed, 0 insertions, 0 deletions