Theorem two_add_two_eq_four

Modification history

2024-10-18 19:09
Mathlib/Data/Nat/Cast/Defs.lean
feat: variant of the binary AM-GM inequality (#17877) …
Added two_add_two_eq_fourView on Github →