Theorem CFC.rpow_natCast

Modification history