Skip to content

GitLab

Merged
Opened by Michael Sammler@msammlerMaintainer

Added TCForall2_Forall2 lemma

This lemma existed for TCForall but not for TCForall2.

Edited by Robbert Krebbers