Skip to content

Commit f7d0ddf

Browse files
CoolRmalCoolRmal
committed
Update Basic.lean
1 parent 18f156d commit f7d0ddf

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

  • Mathlib/MeasureTheory/VectorMeasure/Integral

‎Mathlib/MeasureTheory/VectorMeasure/Integral/Basic.lean‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/-
2-
Copyright (c) 2025 Yoh Tanimoto. All rights reserved.
2+
Copyright (c) 2025 Yongxi Lin. All rights reserved.
33
Released under Apache 2.0 license as described in the file LICENSE.
44
Authors: Yongxi Lin
55
-/

0 commit comments

Comments
 (0)