Commit 2022-12-31 22:33 4c1cc66b
View on Github →feat: port Algebra.Module.Basic (#1169) One question (now resolved) posted at https://leanprover.zulipchat.com/#narrow/stream/287929-mathlib4/topic/Heterogeneous.20scalar.20multiplication
feat: port Algebra.Module.Basic (#1169) One question (now resolved) posted at https://leanprover.zulipchat.com/#narrow/stream/287929-mathlib4/topic/Heterogeneous.20scalar.20multiplication