Skip to content

Commit

Permalink
update c06s01
Browse files Browse the repository at this point in the history
  • Loading branch information
hehepig166 authored and hehepig166 committed Nov 2, 2024
1 parent 0f2ecce commit 2a6891b
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion MIL/C06_Structures/S01_Structures.lean
View file
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@ noncomputable section
定义结构体
-------------------
广义上来说，结构体是对特定形式数据集合的约定，并且可能包含这些数据必须满足的约束条件。
广义上来说，结构体是对特定形式数据集合的约定，包括包含数据的形式以及这些数据要满足的一些约束条件。
而结构体的实例则是某一组满足约束的具体数据。例如，我们可以规定一个点是由三个实数组成的三元组：
BOTH: -/
-- QUOTE:
Expand Down

0 comments on commit 2a6891b

Please sign in to comment.