Harmonic conjugates and cross-ratios require a field structure that presupposes an underlying ambien...
This proposition has not been edited since the history system was added.