typo: Delete "unless D is Z^+ itself"

@Secret Like that, @Secret? :)

(I can put it back, if you want)

Nice, exactly

← 3 messages moved from The h Bar

← 1 message moved from The h Bar

Small question: I'm trying to cross-reference and I have one "example" that I want to be referred to as "proposition" when cross-referencing (with cleveref)

The cleveref documentation says (page 9) that I can just use \label[type]{name}

But that doesn't actually work.

lol

never mind

← 6 messages moved from TeX, LaTeX and Friends