Inverse relations

[ .. ] → kbdef:hasDerivative → Convolution on homogeneous spaces / Johan Capelle