Theorem CFC.sqrt_nnrpow

Modification history