Theorem if_true_left_eq_or

Modification history

2024-02-20 12:29
Mathlib/Init/IteSimp.lean
chore: Remove `Init.IteSimp` (#10708) …
Deleted if_true_left_eq_orView on Github →
2023-04-10 18:08
Mathlib/Init/IteSimp.lean
feat: port Init.IteSimp (#3368)
Added if_true_left_eq_orView on Github →