Theorem coplanar_triple

Modification history