concrete_category): A lemma about concrete multiequalizers (#10277)

Commit

4 years ago

feat(category_theory/limits/concrete_category): A lemma about concrete multiequalizers (#10277)

Author

adamtopaz

Parents