Theorem Real.sqrt_sq

Modification history