--- a/src/HOL/Analysis/Simplex_Content.thy	Fri Oct 15 18:09:34 2021 +0200
+++ b/src/HOL/Analysis/Simplex_Content.thy	Tue Oct 19 16:10:36 2021 +0200
@@ -1,6 +1,6 @@
 (*
    File:      Analysis/Simplex_Content.thy
-   Author:    Manuel Eberl <eberlm@in.tum.de>
+   Author:    Manuel Eberl <manuel@pruvisto.org>
 
    The content of an n-dimensional simplex, including the formula for the content of a
    triangle and Heron's formula.