Inverse relations

[ .. ] → kbdef:hasDerivative → Le helium / J.C. de Man