-
Amin Timany authored
There is one admit that needs to be taken care of. The admitted case is validity of a monoid element of iprod. At the moment iris doesn't seem to have necessary lemmas to prove this easily.
c7a553d3
There is one admit that needs to be taken care of. The admitted case is validity of a monoid element of iprod. At the moment iris doesn't seem to have necessary lemmas to prove this easily.