Commit 2024-07-01 23:56 f50ea92e
View on Github →chore (Set.Pointwise.Basic): avoid importing ordered rings (#14129) We shouldn't need to import ordered algebraic classes for basic properties of pointwise multiplication of sets.
chore (Set.Pointwise.Basic): avoid importing ordered rings (#14129) We shouldn't need to import ordered algebraic classes for basic properties of pointwise multiplication of sets.