Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Thanks! And I have added now the link going the other way, too.
Might you have energy to add a sentence putting the two in relation?
By the way, I would tend to make your “Discussion”-subsection be a numbered Remark inside the “Definition”-section instead.
(I find it helpful to think in terms of textbook organization: There we would rarely make a comment on a definition be its own subsection.)
Thanks Urs. And agreed, that is much more natural. I’m paying attention to the changes you’ve been making as I add material; as I learn more itex + markdown and nLab style I can follow suit.
completed the pointer to
and added pointer to
1 to 8 of 8