Yakov Pechersky

Results 74 comments of 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...