LES Step 1 #40

Open
opened 2024-10-16 08:22:13 +00:00 by michael · 1 comment
Owner
No description provided.
michael added this to the research project 2024-10-16 08:22:13 +00:00
Author
Owner

The criteria for it to be an exact sequence is that each element in the sequence has to be the fiber of the next one

The criteria for it to be an exact sequence is that each element in the sequence has to be the fiber of the next one
Sign in to join this conversation.
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: michael/type-theory#40
No description provided.