Skip to content
GitLab

Apply 1 suggestion(s) to 1 file(s)

2 jobs for !306 with robbert/singleton_subseteq in 5 minutes and 1 second (queued for 2 seconds)
latest merge request
186412a7
1 related merge request: !306 Make singleton/`⊆` lemmas consistent with Iris's singleton/`≼`