Skip to content

Add swap lemmas for exist and forall

Hai Dangrequested to merge
hai/exist_forall_comm into master

Simply as the title says.

Edited by Hai Dang

Merge request reports