Skip to content

Added missing reflexivity, symmetry, transitivity lemmas on ↔, →, -∗ and ∗-∗

Ike Mulder requested to merge snyke7/iris:ike/trans_wand_iff into master

I needed transitivity of ∗-∗ for !930, and also added some missing ones.

Merge request reports