Theorem Complex.volume_sum_rpow_le

Modification history