A small repo of the proof that an abelian group is injective iff divisible. Hopefully this will expand into a repo for injective objects, and then sheaf cohomology.
uzulim/lean_injective_divisible
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|