Commit 2024-07-02 14:16 2f44fc33
View on Github →feat: add pointwise actions on ideals (#13294)
I've copied the API from Subring
, but some proofs from there don't work here due to Ideal.map
including an extra Ideal.span
.
feat: add pointwise actions on ideals (#13294)
I've copied the API from Subring
, but some proofs from there don't work here due to Ideal.map
including an extra Ideal.span
.