Theorem collinear_singleton

Modification history