mathlib3
d909a612 - fix(algebra/category): avoid deprecated lemmas (#2126)

Commit

5 years ago

fix(algebra/category): avoid deprecated lemmas (#2126)

References

#2126 - fix(algebra/category): avoid deprecated lemmas

Author

kim-em

kim-em

Parents

Loading