Layout fix by Zhu.

avigad · Oct 21, 2024 · e3d2385 · e3d2385
1 parent 1f7a3ba
commit e3d2385
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/MIL/C06_Structures/S01_Structures.lean b/MIL/C06_Structures/S01_Structures.lean
@@ -366,6 +366,7 @@ As an exercise, see if you can define the weighted average of
 two points in the standard :math:`n`-simplex.
 You can use ``Finset.sum_add_distrib``
 and ``Finset.mul_sum`` to manipulate the relevant sums.
+
 SOLUTIONS: -/
 namespace StandardSimplex