Theorem if_false_right_eq_and

Modification history

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