Inverse relations

[ .. ] → kbdef:hasDerivative → Assertionis Lutheranae confutatio / R.J. Fisher