Commit 2025-07-28 08:17 4c7a21bb
View on Github →chore(LinearAlgebra/Matrix/Ideal): deprecate matricesOver
(#27575)
Ideal.matricesOver
is not an ideal name - one should use matrix
instead of matricesOver
, see also #27190 where the analogous Set.matrix
, Subring.matrix
, etc are defined.
Zulip thread