Theorem Int.sq_eq_one_of_sq_lt_four

Modification history