TY  - RPRT
TI  - On the Averaging Problem of Ideal Families Related to Frankl's Conjecture with Formal Proof by Lean 4
AU  - Masahiro Hachimori
AU  - Kenji Kashiwabara
PY  - 2025
UR  - https://arxiv.org/abs/2504.13454
ID  - 2504.13454
ER  -