Theorem Set.preimage_const_mul_Ioi_or_Iio

Modification history

2024-10-21 18:56
Mathlib/Data/Set/Pointwise/Interval.lean
feat(Analysis/SpecificLimits/Basic): add lemmas about limits of fractions (#16768) …
Added Set.preimage_const_mul_Ioi_or_IioView on Github →