module

public import PlanarMidpoint

/-! Proofs of the three statements in `PlanarMidpointChallenge`. -/