Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-09-07 17:30 8f893244

View on Github →

style(linear_algebra/submodule): changed import order; added product construction

Estimated changes

added theorem submodule.coe_prod
added def submodule.prod