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.
I've created a stub article for equilogical spaces. I couldn't quite figure out how to make a link while preserving the subscripting; I guess I could rewrite that to avoid the formatting problem, but presumably someone else knows how to do it anyway
Unfortunately, you can't really make an internal link with a subscript. (Well, you can, by pretending that it's an external link, but the link is less robust.) So I rephrased it.
I also noticed there that you wrote partial equivalence relation, which doesn't seem to have been noted here before (although perhaps I missed it). I added a familiar example to that article.
Oh, yeah, I guess I didn't note the PER article explicitly; it was one of the stub articles I made branching out from tripos, which I did note here.
(Nice choice of example, incidentally)
1 to 3 of 3