submodule_bilinear.lean

Commit

3 years ago

Update src/algebra/module/submodule_bilinear.lean Co-authored-by: Yaël Dillies <yael.dillies@gmail.com>

Author

eric-wieser

Parents