I am using slightly customized theorem styles and have defined the theorem environment to follow the section numbering and lemmas, propositions, and conjectures environments to follow the theorem numbering as shown in the minimal code example and in the picture below. My problem is that then \cref does not quote the correct environment name, but only 'Theorem' instead. My guess is that it has to do with the way I have set up the numbering for the additional theorem environments, but I don't know how to fix the issue.  Minimal code example:  \documentclass[10pt,a4paper]{report}  \usepackage{xcolor}  \usepackage{amssymb} \usepackage{amsmath} \usepackage{amsthm}   \newtheoremstyle{italic}{3pt}{3pt}{\itshape}{}{\bfseries}{:}{3pt}{} \newtheoremstyle{normal}{3pt}{3pt}{}{}{\bfseries}{:}{3pt}{}  \theoremstyle{italic} \newtheorem{theorem}{Theorem}[section] \newtheorem{proposition}[theorem]{Proposition}  \newtheorem{lemma}[theorem]{Lemma}  \theoremstyle{normal} \newtheorem{conjecture}[theorem]{Conjecture} \newtheorem*{remark}{Remark}  \usepackage[ bookmarksopen=false, bookmarksnumbered, colorlinks=true, urlcolor=teal, linkcolor=violet, citecolor=green, frenchlinks=false ]{hyperref} \usepackage[capitalize,nameinlink]{cleveref} % always after hyperref     \usepackage{hypcap} \usepackage{bookmark}  \begin{document} \chapter{Chapter1} \section{Section1} \begin{theorem}\label{abc} $a + b = c$ \end{theorem}  \begin{lemma}\label{pqr} $p+q+r=0$ \end{lemma}  \chapter{Chapter2} \section{Section2}   \cref{pqr} is not even wrong.        \end{document}   This produces:       But it should be: "Lemma 1.1.2 is not even wrong". How do I get the correct environment name using \cref?   Feel free to add more appropriate tags.
I am trying to use the  package.  I have the following counters defined (hopefully this is the right way to do it!)  \newtheorem{thm}{Theorem}[section] \newtheorem{lemma}[thm]{Lemma} \newtheorem{cor}[thm]{Corollary}   This works as I would like (i.e. Theorem 1.1, Corollary 1.2, Lemma 1.3, etc.)  My problem is \cref always returns Theorem 1.2, Theorem 1.3. I   Perhaps this is not right? (In my preamble)  \crefname{thm}{theorem}{theorem's} \crefname{lemma}{lemma}{lemma's}
INNER JOIN ON vs WHERE clause MacPorts fails to find 'make' I've installed Xcode and MacPorts on a brand new mid-2013 MacBook Air, but MacPorts doesn't work, saying that it cannot find anything.  mba:~ cnst$ sudo port install wget Warning: The Command Line Tools for Xcode don't appear to be installed; most ports will likely fail to build. Warning: See http://guide.macports.org/chunked/installing.xcode.html for more information. ---&gt;  Computing dependencies for wgetError: Unable to execute port: can't read "build.cmd": Failed to locate 'make' in path: '/opt/local/bin:/opt/local/sbin:/bin:/sbin:/usr/bin:/usr/sbin' or at its MacPorts configuration time location, did you move it? mba:~ cnst$   And, indeed, there is no make or clang in the path, but it is definitely installed, though:  mba:~ cnst$ find /Applications -name "clang" -or -name "make" /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/clang /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/lib/clang /Applications/Xcode.app/Contents/Developer/usr/bin/make mba:~ cnst$   Why is there no make or clang in the path?  Why MacPorts doesn't work?  I notice that  mentions that you have to install something from ADC, Apple Command Line Developer Tools, but ADC doesn't work since last Thursday or Friday due to their security breach, so, the developer tools are nowhere to be found.  What's the proper solution here? Use induction to prove a product of sums of squares is a sum of squares How do I block unwanted callers without jailbreaking? Mathematical notation around the world This one is killing me, any help is greatly appreciated! Calculating Optimal Geohash Precision from Bounding Box I'm using Elasticsearch's  to plot clusters on a map (using Leaflet). I understand that for larger areas a lower precision setting should be used to limit the number of buckets created/returned.  How should I determine the appropriate precision value to request?  Is there a standard or recommended formula for calculating the optimal precision based on a bounding box and/or zoom level? Is it better to just map zoom levels to precision values (I know that's probably easiest.) I have been denied a visa several times in a row. How does one deal with such serial refusals? Over the course of time here on TSE, I have observed individuals whose pattern of visa applications is best described as ''...     serial refusals - Two or more consecutive visa refusals issued by the same regime to the same person. Commonly for the same, or nearly the same, reasons. In some visa regimes Serial refusals can have a cumulative effect wherein the applicant's credibility is increasingly eroded, especially when the application pattern suggests a secondary agenda.   A common thread appears to be the need to visit the destination country (especially Schengen, the USA, or the UK) with a special sense of urgency. Also common in these cases are the following types of questions...   Should I just reapply once again? What are my chances? What can I do to improve my odds in the future? Can I somehow address the previous refusals to avoid them being a burden on all future applications? How can I break the pattern?      NB: This question is intended as a canonical about serial refusals. I have never been personally denied a visa. Integral $\int\!\sqrt{\cot x}\,dx $ How do you collect valuable information from regular "User Group" meetings? The scenario:   You work on a SaAS application.  Some of your users use your application heavily each day. Every 2 weeks (or month or whatever), a "User Group" of your most avid users gets together to talk shop and see how their progress is going in the context of a larger project they are working on. You can participate and potentially direct some group activities aimed at improving the application.   How do you gather valuable user information in this group setting? I would like to hide all items that I don't need from appearing in App Lens.  For example: XTerm, File Roller and the Home Folder.  Is this possible? How can I find the method that called the current method? When logging in C#, how can I learn the name of the method that called the current method? I know all about System.Reflection.MethodBase.GetCurrentMethod(), but I want to go one step beneath this in the stack trace. I've considered parsing the stack trace, but I am hoping to find a cleaner more explicit way, something like Assembly.GetCallingAssembly() but for methods. Issue in evaluating the performance of my "clustering algorithm" using NMI, ARI when the "ground truth" is available? Importance of normal distribution Why did the normal distribution become such a popular (important) distribution? I know one reason is because of CLT. Can you please give more reasons? I am wondering how to show that $\mathbb{Z}[\sqrt {10}]$ is not a UFD.    My only idea is to show that there are two factorizations of $10$, say, $ab, uv$ such that $a$ is not a unit times $u$ or $v$. In this ring $10=2\cdot5=\sqrt {10}\cdot \sqrt {10}$, so it suffices to show $2$ is not a unit times $\sqrt {10}$. Suppose $2=\sqrt {10}(a+b\sqrt{10})=a\sqrt{10}+10b$. Then $a=0$ since $\sqrt{10}$ is not rational. So $10b=2$, which has no integer solutions. So $\mathbb{Z}[\sqrt {10}]$ is not a UFD.  Is my reasoning correct? What are the flaws? Converting MultiLinestring to Linestring with PostGIS Oneboxing a Stack Exchange post using HTTPS does not work When you post a link from Stack Exchange into the chatbox using HTTPS, the link does not onebox. However, if you change the link to HTTP, it works. See the screenshot below:    HTTPS URLs should onebox, too. Set Xorg to use only part of the screen product distribution of two uniform distribution, what about 3 or more The difference between "Older" and "Elder" What is the difference between "Older" and "Elder" ?  And are they interchangeable ?