change_of_rings): coextension of scalars (#15958)

Commit

2 years ago

feat(algebra/category/Module/change_of_rings): coextension of scalars (#15958) Co-authored-by: Jujian Zhang <jujian@192.168.1.104>

Author

jjaassoonn

Parents