Theorem coplanar_singleton

Modification history