Skip to content

Rename `Forall_Forall2` → `Forall_Forall2_diag`

Robbert Krebbers requested to merge robbert/Forall_Forall2_diag into master

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

Merge request reports