Theorem Mathlib.Tactic.IntervalCases.of_not_le_right

Modification history

2025-03-10 22:05
Mathlib/Tactic/IntervalCases.lean
chore: more whitespace fixes (#22808) …
Modified Mathlib.Tactic.IntervalCases.of_not_le_rightView on Github →
2023-01-17 11:01
Mathlib/Tactic/IntervalCases.lean
feat: `interval_cases` tactic (#1155) …
Added Mathlib.Tactic.IntervalCases.of_not_le_rightView on Github →