Skip to content

Add some missing lemmas for `big_andL` and `big_orL`.

Robbert Krebbers requested to merge robbert/big_andL_orL into master

The goal is to become consistent with the new lemmas for big_andM in !713 (merged).

Merge request reports