Birnbaum's principles in Venn diagrams: Extended version with Lean verification

Jaime Enrique Lincovil Curivil, Alexandre Galvão Patriota

Birnbaum's theorem states that the sufficiency and conditionality principles jointly imply, and are implied by, the likelihood principle. To enable formal certification of the resu…