Theorem CFC.rpow_algebraMap

Modification history