Skip to content

[Merged by Bors] - feat(CategoryTheory): transport Kan extensions via equivalences #53575

[Merged by Bors] - feat(CategoryTheory): transport Kan extensions via equivalences

[Merged by Bors] - feat(CategoryTheory): transport Kan extensions via equivalences #53575

Annotations

1 warning

Add annotations

succeeded May 9, 2024 in 21s