Skip to content
lint and suggest

feat(CategoryTheory): infer connectedness of comma categories from finality/initiality of the functor #71916

Sign in to view logs

feat(CategoryTheory): infer connectedness of comma categories from finality/initiality of the functor

feat(CategoryTheory): infer connectedness of comma categories from finality/initiality of the functor #71916

Annotations

1 warning

Check all files imported

Check all files imported
succeeded Dec 11, 2024 in 32s