Finding Simple Proofs for First-Order Optimization | Digital Library | PAMCET | PAMCET