Skip to content

Added TCForall2_Forall2 lemma

Michael Sammlerrequested to merge
msammler/stdpp:tcforall2_forall into master

This lemma existed for TCForall but not for TCForall2.

Edited by Robbert Krebbers

Merge request reports