mathlib3
39478763 - chore(category_theory/limits/preserves): fix typo (#18906)

Commit

2 years ago

chore(category_theory/limits/preserves): fix typo (#18906)

Author

kbuzzard

kbuzzard

Parents

Loading