Theorem CFC.sqrt_eq_rpow

Modification history