diff options
| author | Laurent Théry | 2020-10-27 10:16:17 +0100 |
|---|---|---|
| committer | GitHub | 2020-10-27 10:16:17 +0100 |
| commit | 0fa6c4706c02ceb61c50a7769a0b598c0b82a001 (patch) | |
| tree | 04b6f62984c2dce25759905e645687e7e57c73eb /mathcomp/_CoqProject | |
| parent | 03003d87b98a836e692ffe46cba9fe6041336b91 (diff) | |
| parent | 50ae8e1141ee46aa24f6d4ed61def8d34b1ebcd6 (diff) | |
Merge pull request #618 from CohenCyril/stable_comm
Stability by commutation
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions