Кто и когда доказал лемму о трезубце?

Это вы об этом спрашиваете? Насколько я понимаю, минимум частично Мансьоном. Хотя сомневаюсь что у подобных утверждений реально найти автора абсолютно точно.