Def Mathlib.Tactic.IntervalCases.Methods.inconsistentBounds

Modification history

2023-01-17 11:01

Mathlib/Tactic/IntervalCases.lean

feat: `interval_cases` tactic (#1155) …

Added Mathlib.Tactic.IntervalCases.Methods.inconsistentBounds View on Github →