Skip to content
GitLab

add Equiv instance for Empty_set

Merged Ralf Jung requested to merge ralf/empty into master

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

Merge request reports