Add `singleton_subseteq_l` and `singleton_subseteq`.
Passed
Robbert Krebbers
created pipeline for commit
7921671c
, finished
Related merge request !306 to merge robbert/singleton_subseteq
5 minutes 1 second, queued for 3 seconds