change_of_rings): extension and restriction of scalars are adjoint (#15564)

Commit

2 years ago

feat(algebra/category/Module/change_of_rings): extension and restriction of scalars are adjoint (#15564)

Author

jjaassoonn

Parents