@misc{indiciae7b54544f15a0,
  title = {An Efficient, Lean 4 Verified Necessary and Sufficient Condition for Membership in Pedigree Polytopes},
  author = {T. S. Arthanari},
  year = {2026},
  url = {https://arxiv.org/abs/2610.15914},
  note = {Source identifier: 2610.15914}
}