Skip to content

GitLab

Added TCForall2_Forall2 lemma

Merged Michael Sammler requested to merge msammler/stdpp:tcforall2_forall into master

This lemma existed for TCForall but not for TCForall2.

Edited by Robbert Krebbers