tests/proofmode.v · cb10c41df1add00787404e60dba11c6ba393d767 · Glen Mével / Iris · GitLab

Find file Blame History Permalink

big_op: make more arguments implicit for the lemmas affected by previous 2 commits · cb10c41d
Glen Mével authored Jan 27, 2022
```
i.e. all `big_op` lemmas that have a `TCOr` side condition.
```
cb10c41d