Theorem Set.BddAbove.mul

Modification history

2024-07-01 23:56
Mathlib/Data/Set/Pointwise/Basic.lean
chore (Set.Pointwise.Basic): avoid importing ordered rings (#14129) …
Modified Set.BddAbove.mulView on Github →
2023-12-23 18:42
Mathlib/Data/Set/Pointwise/Basic.lean
chore(Data/Set/Pointwise): golf (#9205)
Added Set.BddAbove.mulView on Github →