Theorem midpoint_zero_add

Modification history