Skip to content

`Inj`/`Forall2` results for `list`/`option` similar to std++.

Robbert Krebbers requested to merge robbert/option_list_Forall2 into master

This is an outstanding TODO from stdpp!496 (merged)

Merge request reports