[Merged by Bors] - feat: category equivalence between coalgebras and comonoid objects#11974
Closed
101damnations wants to merge 36 commits intomasterfrom coalgmonequiv
Commits
Commits on Apr 6, 2024
- committed
101damnations - committed101damnations
- committed101damnations
Merge branch 'semilinearequivcoe' of https://github.com/leanprover-community/mathlib4 into coalgequivs
committed101damnations
Commits on Apr 7, 2024
- committed101damnations
- committed101damnations
- committed101damnations
- committed101damnations
- committed101damnations
- committed101damnations
- committed101damnations
- committed101damnations
- committed101damnations
Commits on Apr 9, 2024
- committed101damnations
- committed101damnations
Commits on May 1, 2024
Commits on May 2, 2024
- committed101damnations
- committed101damnations
- committed101damnations
- committed101damnations
- committed101damnations
- committed101damnations
Commits on May 11, 2024
- committed101damnations
- committed101damnations
Commits on May 14, 2024
Merge branch 'coalgcat' of https://github.com/leanprover-community/mathlib4 into coalgmonequiv
committed101damnations- committed101damnations
Merge branch 'master' of https://github.com/leanprover-community/mathlib4 into coalgmonequiv
committed101damnations
Commits on May 28, 2024
Commits on May 29, 2024
- committed101damnations
- committed101damnations
Commits on Jun 6, 2024
Commits on Jul 8, 2024
Merge branch 'master' of https://github.com/leanprover-community/mathlib4 into coalgmonequiv
committed101damnations- committed101damnations
- committed101damnations