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.
Created a stub / disambiguation page, to point to both equivalence relation and Bishop set and pseudo-equivalence relation (the latter currently redirecting to regular and exact completions).
v8, current
v47, current
Why are you creating so many versions? The preview button does work and you could have added just 2 versions
1 to 5 of 5