generated from pitmonticone/LeanProject
-
Notifications
You must be signed in to change notification settings - Fork 15
Pull requests: emilyriehl/infinity-cosmos
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
The homotopy equivalence relation on 1-simplices in an (algebraic) quasi-category
#123
opened May 18, 2025 by
emilyriehl
Loading…
ProTip!
Exclude everything labeled
bug with -label:bug.