add Equiv instance for Empty_set
All threads resolved!
All threads resolved!
Seems like we have unit, sums and products, but the empty type was forgotten?
Merge request reports
Activity
Please register or sign in to reply