submodule_bilinear): add `submodule.map₂`, generalizing `submodule.has_mul`

Commit

3 years ago

feat(algebra/module/submodule_bilinear): add `submodule.map₂`, generalizing `submodule.has_mul`

Author

eric-wieser

Committer

eric-wieser

Parents