Commit 2023-02-01 14:01 7a4790bb
View on Github →feat: port Data.Set.Pointwise.Interval (#1481)
- feat: port Mathlib.Data.Set.Pointwise.Interval
- Initial file copy from mathport
- Mathbin -> Mathlib; add import to Mathlib.lean
feat: port Data.Set.Pointwise.Interval (#1481)