Theorem spanPoints_nonempty

Modification history