Theorem eq_of_slope_eq_zero

Modification history