Commit 2024-05-04 05:42 25b2fcc0

View on Github →

style: capitalizes file names in Counterexamples (#12615)

Estimated changes

Modified Counterexamples.lean

Renamed Counterexamples/CliffordAlgebra_not_injective.lean to Counterexamples/CliffordAlgebraNotInjective.lean

Renamed Counterexamples/Monic_nonRegular.lean to Counterexamples/MonicNonRegular.lean