Distributional identity (source code)

= Distributional identity

A distributional identity is an equality that holds after both sides act on every smooth compactly supported test function.