Skip to content

Add list_subseteq_dec

Michael Sammler requested to merge ci/msammler/list_subseteq_dec into master

I am not sure where to put this instance in this file. The best place would probably be after elem_of_list_dec, but there the Decision instance for Forall is not yet there.

Merge request reports