Commit 2024-12-08 15:02 294458c5

View on Github →

chore(*): rename some defs to camelCase (#19795)

Estimated changes

Modified Mathlib/CategoryTheory/Monoidal/Bimon_.lean

added def Bimon_.toTrivial

deleted def Bimon_.to_trivial

added def Bimon_.trivialTo

deleted def Bimon_.trivial_to

Modified Mathlib/Data/Set/Lattice.lean

added def Set.sUnionPowersetGI

deleted def Set.sUnion_powerset_gi

Modified Mathlib/LinearAlgebra/FreeProduct/Basic.lean

added def LinearAlgebra.FreeProductOfPowers

deleted def LinearAlgebra.FreeProduct_ofPowers

added def RingQuot.algEquivQuotAlgEquiv

deleted def RingQuot.algEquiv_quot_algEquiv

added def RingQuot.equivQuotEquiv

deleted def RingQuot.equiv_quot_equiv

Modified Mathlib/Tactic/Linter/OldObtain.lean

added def Mathlib.Linter.Style.isObtainWithoutProof

modified def Mathlib.Linter.Style.is_obtain_without_proof

Modified Mathlib/Tactic/Linter/Style.lean

added def Mathlib.Linter.Style.setOption.isSetOption

modified def Mathlib.Linter.Style.setOption.is_set_option

added def Mathlib.Linter.Style.setOption.parseSetOption

modified def Mathlib.Linter.Style.setOption.parse_set_option

Modified Mathlib/Tactic/MoveAdd.lean

added def Mathlib.MoveAdd.moveOperSimpCtx

deleted def Mathlib.MoveAdd.move_oper_simpCtx