mathlib3
42265785 - feat(category_theory/kernels): mild generalization of lemma

Commit

4 years ago

feat(category_theory/kernels): mild generalization of lemma

Author

kim-em

kim-em

Parents

Loading