Skip to content
GitLab

CHANGELOG.

2 jobs for !308 with robbert/map_singleton_subseteq in 5 minutes and 21 seconds (queued for 6 seconds)
latest merge request
990c01e8
1 related merge request: !308 Add lemma `map_singleton_subseteq_l` and `map_singleton_subseteq`.