Skip to content
Snippets Groups Projects

Rename `Forall_Forall2` → `Forall_Forall2_diag`

Merged Robbert Krebbers requested to merge robbert/Forall_Forall2_diag into master
Compare changes
  • Side-by-side
  • Inline
Files
2
Loading