Theorem sbtw_midpoint_of_ne

Modification history