IP List distribution Avigad J., Massot P. Mathematics in Lean 2025, total 0