Skip to content

chore(CategoryTheory): deprecate Adjunction.leftAdjointsCoyonedaEquiv

61b131b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Closed

[Merged by Bors] - chore(CategoryTheory): deprecate Adjunction.leftAdjointsCoyonedaEquiv #37943

chore(CategoryTheory): deprecate Adjunction.leftAdjointsCoyonedaEquiv
61b131b
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
main
succeeded Apr 12, 2026 in 28s