Commit 260e8ecd authored by Robbert Krebbers's avatar Robbert Krebbers

Remove spurious space.

parent 6aa60678
Pipeline #21113 passed with stage
in 17 minutes and 5 seconds
......@@ -213,7 +213,7 @@ Proof.
Qed.
Lemma into_wand_monPred_at_unknown_unknown p q R P 𝓟 Q 𝓠 i :
IntoWand p q R P Q MakeMonPredAt i P 𝓟 MakeMonPredAt i Q 𝓠
IntoWand p q R P Q MakeMonPredAt i P 𝓟 MakeMonPredAt i Q 𝓠
IntoWand p q (R i) 𝓟 𝓠.
Proof.
rewrite /IntoWand /MakeMonPredAt /bi_affinely_if /bi_persistently_if.
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment