Theorem coplanar_pair

Modification history