Yakov Pechersky
Yakov Pechersky
Sorry for the confusion. That branch got merged into mathlib master, maybe that is why it was not possible to find it. Here is a more detailed report, ran in...
Without removing (and tracking) these deuteriums, then the tautomer enumeration does not shift around the explicit Hs (or Ds), thus creating, in some instances, a bad valence "canonical tautomer". This...
Real world situations: Chemical-shift isotope effect (NMR): Lambert, Joseph B., and Linda G. Greifenstein. "Stereochemical dependence of the chemical-shift isotope effect." Journal of the American Chemical Society 95.18 (1973): 6150-6152....
Hi Greg, Thanks for the quick response. I completely agree with you that given the current rules for enumerating tautomers, the conversion to the double bond will get lost. In...