-
Robbert Krebbers authored
For other operations, like `<$>`, such lemmas appear to make little sense, since they require premises involving `!!`.
b3318a08
For other operations, like `<$>`, such lemmas appear to make little sense, since they require premises involving `!!`.