Skip to content

add Equiv instance for Empty_set

Ralf Jungrequested to merge
ralf/empty into master

Seems like we have unit, sums and products, but the empty type was forgotten?

Merge request reports