Theorem Int.sq_ne_two_mod_four

Modification history