mathlib
d13b0cf2 - change `functor_category` to `functor.category`

Commit
3 years ago
change `functor_category` to `functor.category`
Author
Parents
Loading