Open fchapoton opened 5 days ago
as a small step towards getting rid of the auld class IntegralDomain
IntegralDomain
Documentation preview for this PR (built with commit 2533390e1b8b1cca0c34493d8743d3679bdcf2ef; changes) is ready! :tada: This preview will update shortly after each push to this PR.
as a small step towards getting rid of the auld class
IntegralDomain
:memo: Checklist