Theorem CFC.sqrt_zero

Modification history