系统设计与验证 (Lean)Lean 代数结构Lean代数结构 欢迎来到 Lean 的 Lean代数结构 部分，在这一章节中，你将学到以下内容： Lean代数结构简介 Lean半群结构 Lean幺半群 Lean群 Lean 环 Lean域 Lean向量空间 Lean模 Lean格 Lean偏序集 Lean代数数据类型 Lean范畴论基础 Lean同态与同构 Lean代数结构应用 Have fun coding!