Commit 2026-10-10 12:26 e6f7dd44
View on Github →chore(Data/Nat/Factorization/Defs): rename prod_pow_factorization_eq_self to factorization_prod_pow_eq_self (#43972)
#36792 added 2 rename TODOs, #36842 did the first rename, and now the deprecation expired so we can solve the 2nd rename TODO.