Skip to content

feat: add forall_fin_zero and exists_fin_zero #18376

feat: add forall_fin_zero and exists_fin_zero

feat: add forall_fin_zero and exists_fin_zero #18376

check-lean-files

succeeded Sep 30, 2025 in 35s