Theorem apply_ite_left

Modification history

2025-11-26 13:56
Mathlib/Logic/Basic.lean
chore(Data/Int/Fib): add `fib_neg` (#32107) …
Added apply_ite_leftView on Github →