Я новичок в lean - prover, и я пытаюсь найти примеры из онлайн-учебника . Я застрял в этом примере,...