diff options
| author | Cyril Cohen | 2020-08-22 00:00:41 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2020-09-03 14:16:33 +0200 |
| commit | b81aa92716bcd19fa364911f5efaf5d0155d9376 (patch) | |
| tree | 81dbc5ec9cb6cfd9ecb724302960ac079f0d39a3 /mathcomp/algebra/mxpoly.v | |
| parent | b392a135a5f69a91526ce8004bb29659ef4be511 (diff) | |
Adding allrel predicate
Diffstat (limited to 'mathcomp/algebra/mxpoly.v')
0 files changed, 0 insertions, 0 deletions