Skip to content

Prove if-true case of preservation part of EPP theorem - #1

Open
IlmariReissumies wants to merge 2 commits into
agomezl:chor2epfrom
IlmariReissumies:chor2ep
Open

Prove if-true case of preservation part of EPP theorem#1
IlmariReissumies wants to merge 2 commits into
agomezl:chor2epfrom
IlmariReissumies:chor2ep

Prove if-true case of preservation part of EPP theorem

3b20b12
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs