This repository has been archived by the owner on Jul 24, 2024. It is now read-only.
feat(algebra/incidence): Incidence algebras#11656
Closed
YaelDillies wants to merge 44 commits intomasterfrom incidence_algebra
+819
Commits
Commits on Jan 1, 2022
- committed
- committed
- committed
- committed
- committed
Merge branch 'incidence_algebra' of https://github.com/leanprover-community/mathlib into incidence_algebra
committed- committed
- committed
Commits on Jan 2, 2022
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jan 3, 2022
- committed
- committed
Merge branch 'incidence_algebra' of https://github.com/leanprover-community/mathlib into incidence_algebra
committed- committed
- committed
- committed
Merge branch 'incidence_algebra' of https://github.com/leanprover-community/mathlib into incidence_algebra
committed- committed
- committed
- committed
Commits on Jan 5, 2022
- committed
- committed
- committed
- committed
Commits on Jan 8, 2022
- committed
- committed
- committed
- committed
- committed
