Theorem clusterPt_iff_lift'_closure'

Modification history