Theorem collinear_empty

Modification history