Theorem isStarProjection_iff_eq_starProjection

Modification history