Skip to content

feat: add forall_fin_zero and exists_fin_zero #18371

feat: add forall_fin_zero and exists_fin_zero

feat: add forall_fin_zero and exists_fin_zero #18371

check-lean-files

succeeded Sep 30, 2025 in 35s