Theorem CFC.sqrt_eq_cfc

Modification history