]> matita.cs.unibo.it Git - helm.git/search
little change to theorem eq_gcd_times_times_eqv_times_gcd