Machine-verified proof that M3P ∈ P and P = NP via Pedigree Polytopes | Heykuki News