Theorem CFC.sqrt_eq_nnrpow

Modification history