Commit 2024-09-29 00:04 88304ced

fix(Matrix/Invertible): deprecated aliases should remain protected (#17242) The originals were protected, and the deprecations break downstream code using the matching lemmas in the root namespace. A second patch to #16590.