Skip to content

add Equiv instance for Empty_set

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