Theorem segment_inter_eq_endpoint_of_linearIndependent_of_ne

Modification history