Theorem CFC.nnrpow_sqrt_two

Modification history