Skip to content

fixes broken lemmas in bump to 4_26; renames conflicting theorems to …

17d52f4
Select commit
Loading
Failed to load commit list.
Open

bump to 4.26 with name clashes resolved #5

fixes broken lemmas in bump to 4_26; renames conflicting theorems to …
17d52f4
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs