Theorem collinear_pair

Modification history