Theorem CFC.nnrpow_sqrt

Modification history