Theorem midpoint_eq_smul_add

Modification history