Skip to content
GitLab

Rename `Forall_Forall2` → `Forall_Forall2_diag`

Merged Robbert Krebbers requested to merge robbert/Forall_Forall2_diag into master

This is to be consistent with the names for big operators in Iris.