Theorem CFC.sqrt_mul_self

Modification history