diff options
| author | Enrico Tassi | 2020-09-03 15:52:42 +0200 |
|---|---|---|
| committer | GitHub | 2020-09-03 15:52:42 +0200 |
| commit | d3950a35fe2e901d92335ae9c05562b14d049214 (patch) | |
| tree | 14399b0457c7969013e6978645fc6866db5fe9e1 /mathcomp/algebra/mxpoly.v | |
| parent | 5618ef0dae970a40a2d44f06966560659450c6ae (diff) | |
| parent | b81aa92716bcd19fa364911f5efaf5d0155d9376 (diff) | |
Merge pull request #558 from CohenCyril/are_allpairs
Adding allrel predicate
Diffstat (limited to 'mathcomp/algebra/mxpoly.v')
0 files changed, 0 insertions, 0 deletions