Theorem CFC.sqrt_one

Modification history