mathlib
fbe2ce09 - feat(category_theory/limits): kernel forks (#2156)

Commit

6 years ago

feat(category_theory/limits): kernel forks (#2156) Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

References

Author

TwoFX

Parents