-
Jacques-Henri Jourdan authored
Use ssreflect unification rather that Coq's for applying [res_validN_inv]. For some reason, this seems way faster...
472a85c0
Use ssreflect unification rather that Coq's for applying [res_validN_inv]. For some reason, this seems way faster...