We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 1f84024 commit 761725cCopy full SHA for 761725c
1 file changed
Mathlib/Topology/Algebra/Group/Units.lean
@@ -1,7 +1,7 @@
1
/-
2
-Copyright (c) 2025 Ruben Van de Velde and David Ledvinka. All rights reserved.
+Copyright (c) 2025 Ruben Van de Velde. All rights reserved.
3
Released under Apache 2.0 license as described in the file LICENSE.
4
-Authors: Ruben Van de Velde and David Ledvinka
+Authors: Ruben Van de Velde, David Ledvinka
5
-/
6
import Mathlib.Algebra.Group.Pi.Units
7
import Mathlib.Algebra.Group.Submonoid.Units
0 commit comments