Commit 2024-09-03 14:23 fa387e3d
View on Github →feat: an ideal, with the operations induced from its parent ring, forms a non-unital subring (#15986) feat: an ideal, with the operations induced from its parent ring, forms a non-unital subring
feat: an ideal, with the operations induced from its parent ring, forms a non-unital subring (#15986) feat: an ideal, with the operations induced from its parent ring, forms a non-unital subring