Theorem accPt_principal_iff_clusterPt

Modification history