Skip to content

Improve speed slightly

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

Trick to make Is1Cat definitionally involutive #1934

Improve speed slightly
3f1c0b0
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs