Fix the naming of kmap_subseteq and kmap_subset

Merged Michael Sammler requested to merge ci/msammler/kmap_subseteq into master

Merge request reports