Theorem wbtw_midpoint

Modification history