Metamath Proof Explorer

Table of Contents - 21.51.1. Weighted AM-GM inequality

1. amgmwlem
2. amgmlemALT
3. amgmw2d
4. young2d