Skip to content

simplified imports

3e4f8b1
Select commit
Loading
Failed to load commit list.
Merged

Qualified import of PropositionalEquality etc. fixing #2280 #2293

simplified imports
3e4f8b1
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs