Commit 2024-04-15 06:46 88ce0991

View on Github →

chore: substitute some . with · (#12137)

Estimated changes

Modified Mathlib/Algebra/GroupPower/Order.lean

Modified Mathlib/Algebra/Polynomial/Basic.lean

Modified Mathlib/Data/Fin/Tuple/Curry.lean

Modified Mathlib/Data/Pi/Lex.lean

Modified Mathlib/Data/Set/Subset.lean

modified theorem Set.preimage_val_sInter_eq_sInter

Modified Mathlib/GroupTheory/Exponent.lean

Modified Mathlib/GroupTheory/HNNExtension.lean

Modified Mathlib/GroupTheory/PushoutI.lean

Modified Mathlib/ModelTheory/Definability.lean

Modified Mathlib/ModelTheory/Syntax.lean

Modified Mathlib/Order/CompletePartialOrder.lean

Modified Mathlib/Order/RelSeries.lean

Modified Mathlib/SetTheory/Ordinal/Arithmetic.lean