Def Mathlib.Tactic.IntervalCases.Bound.asLower

Modification history

2023-01-17 11:01
Mathlib/Tactic/IntervalCases.lean
feat: `interval_cases` tactic (#1155) …
Added Mathlib.Tactic.IntervalCases.Bound.asLowerView on Github →