Skip to content

Added TCForall2_Forall2 lemma

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

This lemma existed for TCForall but not for TCForall2.

Edited by Robbert Krebbers

Merge request reports