This repository has been archived by the owner on Jul 24, 2024. It is now read-only.
Issues: leanprover-community/mathlib3
Issues list
Define exact sequences
feature-request
This issue is a feature request, either for mathematics, tactics, or CI
#2179
opened Mar 18, 2020 by
TwoFX
ProTip!
Add no:assignee to see everything that’s not assigned.