Inverse relations

[ .. ] → kbdef:hasDerivative → Bisschop Hamer / [H.J. Boumans]