Theorem CFC.spectrum_rpow

Modification history