Commit 2020-11-18 14:27 0e09ada8
View on Github →feat(category_theory/is_connected): zigzag lemmas (#5024) A few basic lemmas about connected categories and the zigzag relation
feat(category_theory/is_connected): zigzag lemmas (#5024) A few basic lemmas about connected categories and the zigzag relation