Closed nomeata closed 9 months ago
A lot of definitions have Instances for which is then empty. And for most of them, instances are rather unexpected anyways.
Instances for
Maybe simply not add the Instances for element if it is empty?
BTW, the docs tool is overall pretty great! just saying :-)
A lot of definitions have![foo](https://github.com/leanprover/doc-gen4/assets/148037/0d8e37b6-56a2-4425-8737-93881c1c758b)
Instances for
which is then empty. And for most of them, instances are rather unexpected anyways.Maybe simply not add the
Instances for
element if it is empty?