Revision - 18e7bf4 - Stdlib: more results on polynomials & ring ideals

Revision 18e7bf44d8f1c9001408dddf56bead2b770e1b93 authored by Pierre-Yves Strub on 08 April 2021, 07:15:49 UTC, committed by Pierre-Yves Strub on 08 April 2021, 07:15:49 UTC

Stdlib: more results on polynomials & ring ideals

1 parent 83e39fd

Files
Changes

Permalinks

File	Mode	Size
XDG.ml	-rw-r--r--	5.0 KB
XDG.mli	-rw-r--r--	1.7 KB

Showing with 0 additions and 0 deletions (0 / 0 diffs computed)

Computing file changes ...