Theorem isStarProjection_starProjection

Modification history