Skip to content

Commit

Permalink
start c06s02
Browse files Browse the repository at this point in the history
  • Loading branch information
hehepig166 authored and hehepig166 committed Nov 2, 2024
1 parent 2a6891b commit c51a7d6
Show file tree
Hide file tree
Showing 2 changed files with 700 additions and 1 deletion.
2 changes: 1 addition & 1 deletion MIL/C06_Structures/S02_Algebraic_Structures.lean
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ namespace C06S02
/- TEXT:
.. _section_algebraic_structures:
Algebraic Structures
代数结构
--------------------
To clarify what we mean by the phrase *algebraic structure*,
Expand Down
Loading

0 comments on commit c51a7d6

Please sign in to comment.