mathlib
e335a41f - refactor(group_theory/congruence): use `quotient.map` (#15130)

Commit

3 years ago

refactor(group_theory/congruence): use `quotient.map` (#15130) Also add explicit universe levels in `algebra.category.Module.monoidal`.

Author

urkud

Parents