Theorem acc_iff_cluster

Modification history