Commit 2023-01-16 03:28 452b52ee
View on Github →feat: port Data.Set.Intervals.IsoIoo (#1321)
Original imports Mathlib.Tactic.FieldSimp which is not yet ported. I'm going to try to do this without the tactic.
feat: port Data.Set.Intervals.IsoIoo (#1321)
Original imports Mathlib.Tactic.FieldSimp which is not yet ported. I'm going to try to do this without the tactic.