Def lt_sum_eq_of_le

Modification history

2026-02-03 15:41
MathlibTest/ToDual.lean
feat: unfold-boundaries in `to_dual` (#32438) …
Added lt_sum_eq_of_leView on Github →