Theorem sq_ne_two_fin_zmod_four

Modification history