style: capitalizes file names in Counterexamples (#12615)

leanprover-community · May 4, 2024 · 25b2fcc · 25b2fcc
1 parent 1556f9e
commit 25b2fcc
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 2 deletions.
diff --git a/Counterexamples.lean b/Counterexamples.lean
@@ -1,13 +1,13 @@
 import Counterexamples.CanonicallyOrderedCommSemiringTwoMul
 import Counterexamples.CharPZeroNeCharZero
-import Counterexamples.CliffordAlgebra_not_injective
+import Counterexamples.CliffordAlgebraNotInjective
 import Counterexamples.Cyclotomic105
 import Counterexamples.DirectSumIsInternal
 import Counterexamples.Girard
 import Counterexamples.HomogeneousPrimeNotPrime
 import Counterexamples.LinearOrderWithPosMulPosEqZero
 import Counterexamples.MapFloor
-import Counterexamples.Monic_nonRegular
+import Counterexamples.MonicNonRegular
 import Counterexamples.OrderedCancelAddCommMonoidWithBounds
 import Counterexamples.Phillips
 import Counterexamples.Pseudoelement

diff --git a/...amples/CliffordAlgebra_not_injective.lean → ...examples/CliffordAlgebraNotInjective.lean b/...amples/CliffordAlgebra_not_injective.lean → ...examples/CliffordAlgebraNotInjective.lean
diff --git a/Counterexamples/Monic_nonRegular.lean → Counterexamples/MonicNonRegular.lean b/Counterexamples/Monic_nonRegular.lean → Counterexamples/MonicNonRegular.lean