Theorem isStarProjection_iff_eq_starProjection_range

Modification history