TY  - RPRT
TI  - A Kernel-Clean Lean Mechanization of Classical Lottery in Action and the Wakker--Debreu--Koopmans Representation Layer
AU  - Jingyuan Li
AU  - Ilia Tsetlin
AU  - Fan Wang
PY  - 2026
UR  - https://arxiv.org/abs/2606.08902
ID  - 2606.08902
ER  -