Theorem CFC.sqrt_nnrpow_two

Modification history