Skip to content

fixup: avoid subst in conservative-reflects-limits

1633a24
Select commit
Loading
Failed to load commit list.
Draft

Duskin's Monadicity Theorem #76

fixup: avoid subst in conservative-reflects-limits
1633a24
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs