Skip to content

fix: cslib breakage from the mathlib4 nightly-testing merge - #155

Closed
downstream-lean4[bot] wants to merge 1 commit into
masterfrom
push-zkysnmwmxoos
Closed

fix: cslib breakage from the mathlib4 nightly-testing merge#155
downstream-lean4[bot] wants to merge 1 commit into
masterfrom
push-zkysnmwmxoos

Commits

  1. Commits on Oct 10, 2026