Theorem two_mul_le_add_mul_sq

Modification history

2025-10-09 08:14
Mathlib/Algebra/Order/Field/Basic.lean
feat: Fernique's theorem for Gaussian distributions (#30167) …
Added two_mul_le_add_mul_sqView on Github →