Theorem acc_principal_iff_cluster

Modification history