Theorem CFC.sqrt_sq

Modification history