Skip to content

Merge branch 'leanprover-community:master' into kernel_categories

038f9e1
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

feat(Category/Kernel): SFinKer morphisms are deterministic #37851

Merge branch 'leanprover-community:master' into kernel_categories
038f9e1
Select commit
Loading
Failed to load commit list.