SWhat changed
Proved the condition for choosing distinct representatives from each set in a finite family.
Scientific scope
The record is Hall's sole-author 1935 Journal of the London Mathematical Society paper. Its finite-family theorem and target formulation are not every later infinite, weighted, algorithmic or matching-theoretic extension.
Evidence
The linked sources identify this contribution and its scope. WRS has not independently reconstructed the scientific claims. The record is Hall's sole-author 1935 Journal of the London Mathematical Society paper. Its finite-family theorem and target formulation are not every later infinite, weighted, algorithmic or matching-theoretic extension.
Contributors
- P. Hall · SCIENCE: Named source author of the scoped work; individual effort shares are not measured.
Provisional WRS assessment, edition 2026-10-16.1. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.
Full scientific record · Browse contribution grades · Request a correction