Skip to content

Streamline "inversion" lemmas for `dist` on `list`

Robbert Krebbers requested to merge robbert/list_misc into master

Merge request reports