Я пытаюсь доказать следующую лемму: lemma myLemma6: "(∀x. A(x) ∧ B(x))= ((∀x. A(x)) ∧ (∀x. B(x)))" Я пытаюсь начать с устранения всех квантификаторов, поэтому вот что я пробовал: lemma myLemma6: "(∀x. A(x) ∧ B(x))= ((∀x. A(x))...