mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

feat(algebra/category/Module/change_of_rings): coextension of scalars

Open jjaassoonn opened this issue 3 years ago • 0 comments

  • [x] depends on:#15672

Open in Gitpod

jjaassoonn avatar Aug 09 '22 13:08 jjaassoonn