Theorem clusterPt_principal_iff

Modification history