add proof for 5.4.24.c, formatting and minor fixes#30
Merged
spamegg1 merged 2 commits intospamegg1:masterfrom Aug 6, 2025
Merged
add proof for 5.4.24.c, formatting and minor fixes#30spamegg1 merged 2 commits intospamegg1:masterfrom
spamegg1 merged 2 commits intospamegg1:masterfrom