# Commit 2024-09-04 05:09 9f572fca

View on Github →feat: Conjugation-negation operator (#16181) This is a fundamental operator in discrete Fourier analysis. For example, it is the operator relating convolution and difference convolution: https://yaeldillies.github.io/LeanAPAP/docs/LeanAPAP/Prereqs/Convolution/Discrete/Defs.html#conv_conjneg From LeanAPAP