Theorem Rat.sqrt_eq

Modification history