Skip to content

GitLab

S
stdpp
Merged
Opened by Michael Sammler@msammlerMaintainer
Report abuse

Added TCForall2_Forall2 lemma

This lemma existed for TCForall but not for TCForall2.

Edited by Robbert