Theorem clusterPt_iff_lift'_closure

Modification history