lemma_square_sqrt_le.json 2.86 KB