@sophiehuiberts@mathstodon.xyz
2026-04-05 09:09 UTC
@jpoiret@types.pl i dont know what i am doing wrong, but i simply cannot get it to work. it keeps calling lemma's theorems
admittedly, i am also just frustrated at the ecosystem that it makes this whole change necessary. whatever internal necessitates this, its weird that it requires action from end users
Replies (2)
-
@jpoiret@types.pl 2026-04-05 09:33
@sophiehuiberts@mathstodon.xyz I guess you are numbering your lemmas with the same counter as your theorems? Most packages that do “clever” things with references in TeX use the “reference counter name” \@currentcounter to infer additional information, but if you share counters between environments that won't be enough. There is a section specifically about how to make it work with lemmas (with code) in the zref-clever manual section 10.2, look for the “shared counter” paragraph. The idea is that you locally change the inferred meaning of the theorem counter in lemma environments.
-
@ToucanIan@mathstodon.xyz 2026-04-05 10:22
@sophiehuiberts@mathstodon.xyz wait I noticed this yesterday and thought I was crazy.