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

fix: cslib breakage from the mathlib4 nightly-testing merge

35a2ca0
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar