Theorem CFC.sqrt_mul_sqrt_self

Modification history