Theorem segment_inter_eq_endpoint_of_linearIndependent_sub

Modification history