Skip to content
GitLab

Add swap lemmas for exist and forall

Merged Hai Dang requested to merge hai/exist_forall_comm into master

Simply as the title says.

Edited by Hai Dang