Skip to content

Add swap lemmas for exist and forall

Hai Dang requested to merge hai/exist_forall_comm into master

Simply as the title says.

Edited by Hai Dang

Merge request reports