Forked from
Iris / Iris
Source project has a limited visibility.
-
Jacques-Henri Jourdan authored
Reorganize bi.monpred. Add unfolding manual lemmas for monPred_at, and use them in proofmode.monpred. Add big op lemmas for monpred_at.
Jacques-Henri Jourdan authoredReorganize bi.monpred. Add unfolding manual lemmas for monPred_at, and use them in proofmode.monpred. Add big op lemmas for monpred_at.
