Theorem CFC.sqrt_eq_real_sqrt

Modification history