Theorem CFC.rpow_intCast

Modification history