Skip to content
Snippets Groups Projects

Workaround to avoid `injection` from unfolding equalities on `dom`

Merged Robbert Krebbers requested to merge robbert/injection_gset_dom into master
Loading