Def Algebra.lmul

Modification history

2024-12-01 01:39
Mathlib/Algebra/Algebra/Bilinear.lean
refactor(Algebra/Bilinear): generalize to non-commutative base rings (#19232) …
Modified Algebra.lmulView on Github →
2023-04-25 17:50
Mathlib/Algebra/Algebra/Bilinear.lean
fix: add missing `_root_` (#3630) …
Added Algebra.lmulView on Github →