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.
the entries dependent type and indexed set did not know of each other.
I have now cross-linked them minimally in their “Related entries”-sections. But this would deserve to be expanded on for exposition…
1 to 2 of 2