Source — Euclid's Elements, encoded as an rrxiv paper

V.13 Definition V.13

Inverse ratio means taking the consequent as antecedent in relation to the antecedent as consequent.

lines 74–74 in main.tex