TY - RPRT TI - A Formalization of the Mean-Field Derivation of the Vlasov Equation AU - Joseph K. Miller PY - 2026 UR - https://arxiv.org/abs/2607.08986 ID - 2607.08986 ER -