Skip to content

new fixpoint

new fixpoint #19364

check-lean-files

succeeded Oct 31, 2025 in 28s