limits.lean

Commit

5 years ago

Update src/algebra/category/Algebra/limits.lean Co-authored-by: Johan Commelin <johan@commelin.net>

Author

kim-em

Parents