mathlib
58cef51f - feat(algebra/module/bimodule): basic definitions for subbimodules (#14465)

Commit

3 years ago

feat(algebra/module/bimodule): basic definitions for subbimodules (#14465)

Author

ocfnash

ocfnash

Parents

Loading