Commit 2025-10-01 05:38 6549fa37

View on Github →

chore: deprecate duplicate zeta_mul_kappa lemma (#30055) This PR deprecates the duplicate lemma zeta_mul_kappa that was identical to zeta_mul_zeta but with a typo in the name. Closes #28440.

Estimated changes