Skip to content

Add more lemmas for wand_iff and iff

Hai Dang requested to merge hai/iff_sym into master

I didn't find these in the existing code.

Merge request reports