feat(Algebra/Homology): the homology functor is accessible - #43980

Open

joelriou wants to merge 13 commits into

leanprover-community:masterfrom

joelriou:homology-accessible

Commits on Sep 19, 2026

wip
joelriou
committed
c4a393f
wip
joelriou
committed
916e0f6
wip
joelriou
committed
9cd18b5
typo
joelriou
committed
446fb39
better docstring
joelriou
committed
0843225
typo
joelriou
committed
489e260
better syntax
joelriou
committed
fe55481
typo
joelriou
committed
e4a8d70
cleaning up
joelriou
committed
8904d62
typo
joelriou
committed
0a6a68f
sort imports
joelriou
committed
61a2abc
wip
joelriou
committed
3cd900e
fix
joelriou
committed
340ac40