mathlib
e0a3303f - chore(category_theory/filtered): Adds missing instances (#7909)

Commit

4 years ago

chore(category_theory/filtered): Adds missing instances (#7909) Co-authored-by: Patrick Massot <patrickmassot@free.fr>

Author

adamtopaz

Parents