basic): lemmas relating adjoin and submodule.span (#8031)

Commit

4 years ago

feat(ring_theory/adjoin/basic): lemmas relating adjoin and submodule.span (#8031)

Author

hrmacbeth

Parents