Inverse relations

[ .. ] → kbdef:hasDerivative → Begründung der Funktionenlehre unabhängig vom logischen Satz vom ausgeschlossenen Dritten / von L.E.J. Brouwer