mathlib
8b87d337 - feat(algebra/module): sub_mem_sup for modules over rings (#15733)

Commit

3 years ago

feat(algebra/module): sub_mem_sup for modules over rings (#15733)

Author

alexjbest

alexjbest

Parents

Loading