Skip to content
Snippets Groups Projects

Add lemma `omap_insert_None`.

Passed
Robbert Krebbers created pipeline for commit e80f1433
, finished
For master
6 jobs 14 minutes 47 seconds, queued for 2 seconds